This is a reminder that this Wednesday, yes, Wednesday not Monday
(which is Peter G-S), we have Alex Paseau giving a paper for our
current projects seminar.
3.00 (NOT 1.00) till 4.30 in the philosophy common room,
"Hilbert, Gödel and Non-Deductive Reasoning in Mathematics".
Abstract: "Hilbert’s Programme claims that the more theoretical
(‘ideal’) parts of mathematics should be regarded as an instrument for
proving truths about the more elementary (‘real’) parts. Gödel’s
Second Incompleteness Theorem seems to show that one cannot prove the
consistency of ideal mathematics from within real mathematics and
hence
is generally thought to destroy Hilbert’s Programme. This paper will
take issue with that verdict. By considering non-deductive reasons in
mathematics, I explain why Hilbert Programme’s survives Gödel’s
theorems. I conclude with an assessment of mathematical
instrumentalism’s prospects. The paper keeps technicalities to a
minimum and is aimed
at a general philosophical audience."
See you all there....
Dr. Kristie Miller
ARC Post-doctoral Fellow
School of Philosophical and Historical Inquiry and
The Centre for Time
The University of Sydney
Sydney Australia
Room 411, A 18
[EMAIL PROTECTED]
[EMAIL PROTECTED]
Ph: 02 93569663
http://homepage.mac.com/centre.for.time/KristieMiller/Kristie/Home%
20Page.html
_______________________________________________
SydPhil mailing list
[email protected]
List Info: http://lists.arts.usyd.edu.au/mailman/listinfo/sydphil
NEW LIST ARCHIVE: http://www.mail-archive.com/[email protected]/
