Meetup: http://www.meetup.com/papers-we-love/events/214400572/ Paper: http://www.cs.cmu.edu/~crary/819-f09/Hoare69.pdf Slides: https://speakerdeck.com/paperswelove/jean-yang-on-an-axiomatic-basis-for-computer-programming Audio: http://www.mixcloud.com/paperswelove/jean-yang-on-an-axiomatic-basis-for-computer-programming/ --------------------------------------------------------------------------------------------- Sponsored by The Ladders (@TheLaddersDev) --------------------------------------------------------------------------------------------- Description --------------- Our lives now run on software. Bugs are becoming not just annoyances for software developers, but sources of potentially catastrophic failures. A careless programmer mistake could leak our social security numbers or crash our cars. While testing provides some assurance, it is ...

The field of rationality idea was put forward by Joseph Życiński as a context in which the questions: "How do mathematical objects exist?" and "Why is mathematics so effective in the physical sciences?" could be better understood. The idea never went beyond its seminal stage. In the present study I ...

Does the Continuum Hypothesis have an answer? This question is pointed out by professor W. Hugh Woodin. He admits that 15 years ago he thought it was false. Has his opinion changed? You can see from this lecture. William Hugh Woodin is an American mathematician and set theorist at Harvard University. ...