Comments on: Reverse mathematics

By: Waarom zoeken wiskundigen elementaire bewijzen? at QED

Waarom zoeken wiskundigen elementaire bewijzen? at QED — Sun, 18 Jan 2009 16:56:40 +0000

[...] veel zwakkere theorie dan de Peano-rekenkunde. Dit is een interessant resultaat voor het domein van reverse mathematics, waarover ik het eerder al [...]

By: Filosofie voor elke dag

Filosofie voor elke dag — Wed, 14 Nov 2007 12:55:43 +0000

De impact van Gödels onvolledigheidsstellingen op de wiskunde…

Op zaterdag 24 november om 11 uur heeft de Belgian Society for Logic and Philosophy of Science in de Universitaire Stichting (Egmontstraat, Brussel) de wiskundige Angus MacIntyre te gast voor een lezing over “The Impact of Gödel Incompleteness on Mat…

By: Filosofie voor elke dag

Filosofie voor elke dag — Sat, 10 Nov 2007 22:31:42 +0000

Wat maakt kwantummechanica kwantum?…

“Wat maakt kwantummechanica kwantum?” Die vraag stelde Michiel Seevinck van de Universiteit Utrecht op de eerste dag van Models and Simulations 2 in zijn lezing met de titel On the merits of modeling quantum mechanics via semi-classical models. In de…