お前らは何主義なの？(形式主義とか直観主義とか)

お前らは何主義なの？(形式主義とか直観主義とか) at MATH

1:１３２人目の素数さん
23/12/26 14:26:13.95 Xr/iAFmp.net
？

24:１３２人目の素数さん
24/01/01 07:28:42.18 AN3lkvhu.net
2020年、2021年、2022年、2023年と
徐々にネトウヨが弱体化してきたな
いよいよ2024年、2025年で消滅に向かう

ネトウヨの完全なるDELETE

25:１３２人目の素数さん
24/01/01 09:58:30.01 i16pBIBF.net
>>19
ブルバキは基礎づけに興味があった、だからτ記号とかわざわざ導入したんだろう
ブルバキは興味ない世代とあるが、彼らはゲーデルの仕事を知らなかったと思われる
実際1929年頃のプリンストンで行われた講義で、ブルバキのメンバーの一人が、ゲーデルを含む聴衆に向かって「アリストテレス以降ロジック分野で何も起きなかった」と言ってしまったという話がある

26:１３２人目の素数さん
24/01/01 10:00:36.02 i16pBIBF.net
>>25
嘘だった、ブルバキの知識は1929年レベルで止まってたと思われる
プリンストンの講義がいつだったかは不明

2から表示