hypnotic
发表于 2025-4-1 05:11:21
COBE DMR: Testing the Initial Conditionsr and thus mathematically more interesting systems? The lectures of 1921/22 and 1922/23 give a resoundingly positive answer. However, the ‘extensions’ require a remarkable mathematical/logical and methodological breakthrough that leads to Hilbert’s proof theory and his finitist consistency programme.
后天习得
发表于 2025-4-1 09:54:31
http://reply.papertrans.cn/35/3441/344050/344050_62.png
Infirm
发表于 2025-4-1 12:50:09
http://reply.papertrans.cn/35/3441/344050/344050_63.png