数学联邦政治世界观
超小超大

德勒兹2(三) (6-3)

24. The main aim of Hilbert’s programme, which was fi rst clearly formulated in 1922, was to establish the logical acceptability of the principles and modes of inference of modern mathematics by formalising each mathematical theory into a fi nite, complete set of axioms, and to provide a proof that these axioms were consistent. The point of Hilbert’s approach was to make mathematical theories fully precise, so that it is possible to obtain precise results about properties of the theory. In 1931 Gödel showed that the programme as it stood was not possible. Revised efforts have since emerged as continuations of the programme that concentrate on relative results in relation to specifi c mathematical theories, rather than all mathematics. See José Ferreirós, ‘The Crisis in the Foundations of Mathematics’, inThe Princeton Companion to Mathematics, edited by Timothy Gowers, June Barrow-Green and Imre Leader (Princeton: Princeton University Press, 2008), Ch. 2.6.3.2.

25. Lautman,Essai sur l’unité, p. 282.

26. See Jean Largeault,Logique mathématique. Textes (Paris: Armand Colin, 1972), pp. 215, 264.

27. Lautman,Essai sur l’unité, p. 9.

28. Petitot, ‘La dialectique de la vérité’, p. 98. The term ‘meta-mathematics’ is introduced by Hilbert in ‘Uber das Unendliche’,Mathematische Annalen 95 (1926), pp. 161–90.

29. Lautman,Essai sur l’unité, p. 26.

30. Lautman, Essai sur l’unité, p. 26.

31. Lautman,Essai sur l’unité, p. 26.

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

忆光情 连载中
忆光情
涸饕
这篇文章最后面比较好一点。
1.9万字1个月前
情缘溺梦 连载中
情缘溺梦
岁岁于梦
1.2万字1个月前
契约的血祭坛(重制版) 连载中
契约的血祭坛(重制版)
心心熠熠
多世界✓主打西幻和科幻✓架空世界宗教有,魔法有伏笔多作者记性不好角色头像来源网络,侵权删(这个tag真的怎么打啊)
1.4万字4周前
今有包包在锅锅 连载中
今有包包在锅锅
苏晴舟
一个肉包子出生的一个女主幻化成人形来到人间寻找千年泪,是一个用尽一生爱你留下眼泪-
0.6万字4周前
机变英盟:朋友 连载中
机变英盟:朋友
混沌的蝶羽
光影并非对立,善恶并非绝对。有时候那表面的正义,实际上比暴露在表面的黑暗更加可怕。有时候那些追求力量的人,想要的,只是保护亲人。
0.9万字4周前
为已而活 连载中
为已而活
默然 ℡
傅卿卿再次身亡,魂魄被迫离开原主。她在攻略男主陆宇辰的第三次失败后,颓废的回到了系统空间。“欢迎宿主回归,请宿主确认最后的复活点。”机械的声......
10.3万字4周前