24小时热门版块排行榜    

查看: 875  |  回复: 25
【奖励】 本帖被评价22次,作者pkusiyuan增加金币 17.6

pkusiyuan

银虫 (正式写手)


[资源] Set_Theory,_Arithmetic,_and_Foundations_of_Mathematics__Theorems,_Philosophies

Introduction page xi
Historical remarks on Suslin’s problem
Akihiro Kanamori 1
The continuum hypothesis, the generic-multiverse of sets,
and the ? conjecture
W. Hugh Woodin 13
ω-models of finite set theory
Ali Enayat and James H. Schmerl and Albert Visser 43
Tennenbaum’s theorem for models of arithmetic
Richard Kaye 66
Hierarchies of subsystems of weak arithmetic
Shahram Mohsenipour 80
Diophantine correct open induction
Sidney Raffer 93
Tennenbaum’s theorem and recursive reducts
James H. Schmerl 112
History of constructivism in the 20th century
A. S. Troelstra 150
A very short history of ultrafinitism
Rose M. Cherubin and Mirco A. Mannucci 180
Sue Toledo’s notes of her conversations with Gödel in 1972–5
Sue Toledo 200
Stanley Tennenbaum’s Socrates
Curtis Franks 208
Tennenbaum’s proof of the irrationality of
√ 2
Jouko Väänänen 226
回复此楼

» 本帖附件资源列表

» 收录本帖的淘帖专辑推荐

数学分析 自然科学

» 猜你喜欢

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
ye84462162楼
2016-09-12 18:57   回复  
五星好评  顶一下,感谢分享!
applaq3楼
2016-09-12 22:59   回复  
五星好评  顶一下,感谢分享!
2016-09-13 11:22   回复  
五星好评  顶一下,感谢分享!
jhbymx5楼
2016-09-13 13:36   回复  
五星好评  顶一下,感谢分享!
askuyue6楼
2016-09-13 15:10   回复  
五星好评  顶一下,感谢分享!
xytcmath7楼
2016-09-13 21:32   回复  
五星好评  顶一下,感谢分享!
2016-09-14 06:34   回复  
五星好评  顶一下,感谢分享!
Quan.9楼
2016-09-14 06:52   回复  
五星好评  顶一下,感谢分享!
anmingkang10楼
2016-09-14 08:52   回复  
五星好评  顶一下,感谢分享!
ha166811楼
2016-09-14 09:50   回复  
五星好评  顶一下,感谢分享!
2016-09-14 12:47   回复  
五星好评  顶一下,感谢分享!
daduan13楼
2016-09-14 22:19   回复  
五星好评  顶一下,感谢分享!
psylhh14楼
2016-09-14 22:45   回复  
五星好评  顶一下,感谢分享!
andizhai15楼
2016-09-15 06:51   回复  
五星好评  顶一下,感谢分享!
shuquqian16楼
2016-09-15 09:09   回复  
五星好评  顶一下,感谢分享!
2016-09-15 21:43   回复  
五星好评  顶一下,感谢分享!
happyfishs18楼
2016-09-16 01:24   回复  
五星好评  顶一下,感谢分享!
jtjia19楼
2016-09-17 07:53   回复  
woodhole20楼
2016-09-18 00:21   回复  
五星好评  顶一下,感谢分享!
胡不归21楼
2016-09-18 09:47   回复  
五星好评  顶一下,感谢分享!
甲先生22楼
2016-09-26 20:26   回复  
五星好评  顶一下,感谢分享!
duxianwei23楼
2016-10-16 14:25   回复  
五星好评  顶一下,感谢分享!
zalois24楼
2016-10-17 18:20   回复  
zalois25楼
2016-10-24 06:27   回复  
fenggaol26楼
2016-10-24 07:11   回复  
五星好评  顶一下,感谢分享!
相关版块跳转 我要订阅楼主 pkusiyuan 的主题更新
☆ 无星级 ★ 一星级 ★★★ 三星级 ★★★★★ 五星级
普通表情 高级回复 (可上传附件)
信息提示
请填处理意见