比利时vs摩洛哥足彩
,
university of california san diego
****************************
special seminar
harvey friedman
比利时vs摩洛哥足彩 , ohio state university
foundational adventures
abstract:
we give a general overview of progress and expectations in three directions. 1. what kind of mathematical results can we prove only by going beyond the usual axioms for mathematics (zfc)? (some systematic investigations in the integers). buzzwords: templates, boolean relation theory, order calculus. 2. is there a relationship between ordinary commonsense naive thinking and abstract mathematics? (they are unexpectedly close, and in some sense even equivalent). buzzwords: interpretation, concept calculus. 3. in what sense and to what extent can we achieve certainty, at least in mathematics? (with the use of existing computer technology, we can, in various senses). buzzwords: proof assistants, certificates.
host: jeff remmel
september 5, 2006
3:00 pm
ap&m 7218
****************************