HonoreeLecture

HonoreeLecture - FOUNDATIONAL ADVENTURES FOR THE FUTURE...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
FOUNDATIONAL ADVENTURES FOR THE FUTURE Harvey M. Friedman FOUNDATIONAL ADVENTURES CONFERENCE IN HONOR OF MY 60TH BIRTHDAY MAY 14-17, 2009 Ohio State University HONOREE LECTURE MAY 15, 2009
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
I’m NOW GOING TO have to GET SERIOUS • I’m still relatively invisible • Not too many decades left • Need for increased rate of publication • Have been mostly focusing on excruciatingly challenging odysseys • Need to greatly expand the scope of activities
Background image of page 2
what excruciatingly challenging odysseys? Wright Brothers made a two mile fight Wright Brothers made a 42 mile fight Want to ship goods Want to move lots oF passengers Want reliability and saFety Want low cost ... Modern aviation Each major advance spawns reasonable demands For more and more Excruciating diF±culties overcome Armies oF people over decades or more Same story For any practically any epoch breaking advance in anything
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
what excruciatingly challenging odysseys? Gödel’s Incompleteness Phenomena Always sentences neither provable nor refutable But undesirably abstract from the mathematical viewpoint Want concrete examples Want nice concrete examples Want very nice concrete examples Want extremely nice concrete examples Want famous concrete examples Want diverse famous iconic concrete examples After > 40 years, at very early stages Boolean Relation Theory monograph Abstracts on Π 01 Incompleteness - a few days ago
Background image of page 4
what excruciatingly challenging odysseys? More recently: consistency proof for mathematics
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 16

HonoreeLecture - FOUNDATIONAL ADVENTURES FOR THE FUTURE...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online