In Gesprächen mit Kollegen aus der symplektischen Geometrie und verwandten Gebieten hört man immer wieder mal von einer Grundlagenkrise: ihre Arbeiten beruhen auf grundlegenden Arbeiten anderer Mathematiker, die Hunderte Seiten lang, äußerst detailreich und kaum zu verstehen sind, und die deshalb von manchen Mathematikern abgelehnt und von anderen akzeptiert werden. Eine auf solchen Grundlagen beruhende…

Herr Schildkröte sagt, daß kein hinreichend mächtiger Plattenspieler in dem Sinn vollkommen sein kann, daß er jeden möglichen Ton auf einer Platte widergeben kann. Gödel sagt, daß kein hinreichend mächtiges formales System in dem Sinn vollkommen sein kann, daß es jede einzelne wahre Aussage als einen SATZ widergeben kann. Wie Herr Schildkröte aber im Hinblick…

Einen recht provokanten Vortrag hat Vladimir Voevodsky vor 2 Wochen bei der 80-Jahr-Feier des IAS in Princeton gehalten.

Auf den scienceblogs (genauer: auf dem neuen Blog “Andererseits”) tobt gerade wieder einmal eine Kommentarschlacht über ‘Skeptizismus’ in der Wissenschaft.