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. He has made many notable contributions to the theory of inner models and determinacy. A type of large cardinal, the Woodin cardinal, bears his name.
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 ...
Math is logical, functional and just ... awesome. Mathemagician Arthur Benjamin explores hidden properties of that weird and wonderful set of numbers, the Fibonacci series. (And reminds you that mathematics can be inspiring, too!) ...
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 ...