Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Education » math-teach

Topic: Structured Programming
Replies: 69   Last Post: Mar 7, 2014 7:18 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Joe Niederberger

Posts: 2,923
Registered: 10/12/08
Re: Structured Programming
Posted: Mar 6, 2014 11:06 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Kirby says:
>I mentioned Robert's views specifically but only mentioned yours in passing in referring to computer science as some "bastard offspring" of mathematics (I left a footnote to that one).

Please! I said it was "pronounced a bastard by some of those in attendance". You have totally distorted my meaning here. In fact, I followed that immediately by the best reference I could (memory!) to a lovely fictional book about the time of the construction of the IAS computer. I passed that book onto someone and I really wish I could get another copy or at least remember the title. I was referring to the anti-machine attitude described in the book by some of the mathematicians at IAS at that time.

Now, IAS is putting up talks like this:
http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2011_UPenn.pdf

"After Goedel's famous results there developed a "schism" in mathematics when abstract mathematics and constructive mathematics became largely isolated from each other with the "abstract" steam growing into what we call "pure mathematics" and the "constructive stream" into
what we call theory of computation and theory of programming languages. Univalent Foundations is a new area of research which aims to help to reconnect these streams with a particular focus on the development of
software for building rigorously verifi ed constructive proofs and models using abstract mathematical concepts.
This is of course a very long term project and we can not see today how its end points will look like. I will concentrate instead its recent history, current stage and some of the short term future plans."

Sounds very interesting to me. If you don't like the sentiments ignore it. Most will.

Cheers,
Joe N


Date Subject Author
3/1/14
Read Structured Programming
Robert Hansen
3/2/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Greg Goodknight
3/3/14
Read Re: Structured Programming
kirby urner
3/2/14
Read Re: Structured Programming
Louis Talman
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Robert Hansen
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
kirby urner
3/2/14
Read Re: Structured Programming
Robert Hansen
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
kirby urner
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Robert Hansen
3/4/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/4/14
Read Re: Structured Programming
Robert Hansen
3/5/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/4/14
Read Re: Structured Programming
kirby urner
3/4/14
Read Re: Structured Programming
Joe Niederberger
3/5/14
Read Re: Structured Programming
Joe Niederberger
3/5/14
Read Re: Structured Programming
Joe Niederberger
3/5/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Louis Talman
3/6/14
Read Re: Structured Programming
Robert Hansen
3/7/14
Read Re: Structured Programming
Louis Talman
3/7/14
Read Re: Structured Programming
Robert Hansen
3/7/14
Read Re: Structured Programming
Louis Talman
3/7/14
Read Re: Structured Programming
Robert Hansen
3/7/14
Read Re: Structured Programming
Louis Talman
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/7/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/7/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.