Inter-universal geometry と ABC予想 (応援スレ) 74

Inter-universal geometry と ABC予想 (応援スレ) 74 (881ﾚｽ)
上下前次 1-新

43(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 08/23(土)13:44 ID:KYsCHIBD(7/17) AAS
>>38 補足
>外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
>Boolean valued higher order logics
>池上大祐東京電機大学平成27年11月28日

外部ﾘﾝｸ[html]:www.mathsoc.jp
数学基礎論若手の会
2015年筑波大学館山研修所竹内耕太
省14