| ²é¿´: 898 | »Ø¸´: 25 | ||||
| ¡¾½±Àø¡¿ ±¾Ìû±»ÆÀ¼Û22´Î£¬×÷ÕßpkusiyuanÔö¼Ó½ð±Ò 17.6 ¸ö | ||||
[×ÊÔ´]
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¨C5 Sue Toledo 200 Stanley Tennenbaum¡¯s Socrates Curtis Franks 208 Tennenbaum¡¯s proof of the irrationality of ¡Ì 2 Jouko Väänänen 226 |
» ±¾Ìû¸½¼þ×ÊÔ´Áбí
-
»¶Ó¼à¶½ºÍ·´À¡£ºÐ¡Ä¾³æ½öÌṩ½»Á÷ƽ̨£¬²»¶Ô¸ÃÄÚÈݸºÔð¡£
±¾ÄÚÈÝÓÉÓû§×ÔÖ÷·¢²¼£¬Èç¹ûÆäÄÚÈÝÉæ¼°µ½ÖªÊ¶²úȨÎÊÌ⣬ÆäÔðÈÎÔÚÓÚÓû§±¾ÈË£¬Èç¶Ô°æÈ¨ÓÐÒìÒ飬ÇëÁªÏµÓÊÏ䣺xiaomuchong@tal.com - ¸½¼þ 1 : (Lecture_Notes_in_Logic)Juliette_Kennedy,_Roman_Kossak-Set_Theory,_Arithmetic,_and_Foundations_of_Mathematics__Theorems,_Philosophies-Cambridge_University_Press(2011).pdf
2016-09-12 18:52:01, 3.07 M
» ÊÕ¼±¾ÌûµÄÌÔÌûר¼ÍƼö
Êýѧ·ÖÎö | ×ÔÈ»¿ÆÑ§ |
» ²ÂÄãϲ»¶
287Çóµ÷¼Á
ÒѾÓÐ5È˻ظ´
22408 344·Ö Çóµ÷¼Á Ò»Ö¾Ô¸ »ªµç¼ÆËã»ú¼¼Êõ
ÒѾÓÐ3È˻ظ´
289Çóµ÷¼Á
ÒѾÓÐ3È˻ظ´
317Çóµ÷¼Á
ÒѾÓÐ10È˻ظ´
¹ãÎ÷´óѧ¼ÒÇÝÒÅ´«ÓýÖÖ¿ÎÌâ×é2026Äê˶ʿÕÐÉú£¨½ÓÊÕ¼ÆËã»úרҵµ÷¼Á£©
ÒѾÓÐ3È˻ظ´
ѧУÒѾÌá½»µ½NSFC£¬»¹ÄÜÐÞ¸ÄÂð£¿
ÒѾÓÐ8È˻ظ´
08¹¤Ñ§µ÷¼Á
ÒѾÓÐ5È˻ظ´
281Çóµ÷¼Á£¨0805£©
ÒѾÓÐ25È˻ظ´
085600²ÄÁÏÓ뻯¹¤
ÒѾÓÐ6È˻ظ´
265Çóµ÷¼Á
ÒѾÓÐ8È˻ظ´
¼òµ¥»Ø¸´
ye84462162Â¥
2016-09-12 18:57
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
applaq3Â¥
2016-09-12 22:59
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
gongyongde24Â¥
2016-09-13 11:22
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
jhbymx5Â¥
2016-09-13 13:36
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
askuyue6Â¥
2016-09-13 15:10
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
xytcmath7Â¥
2016-09-13 21:32
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
liuqiang688Â¥
2016-09-14 06:34
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
Quan.9Â¥
2016-09-14 06:52
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
anmingkang10Â¥
2016-09-14 08:52
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
ha166811Â¥
2016-09-14 09:50
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
owenyx_198112Â¥
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
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
zhchzhsh207617Â¥
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
»Ø¸´
лл·ÖÏí£¡ ·¢×ÔСľ³æAndroid¿Í»§¶Ë
zalois25Â¥
2016-10-24 06:27
»Ø¸´
лл·ÖÏí ·¢×ÔСľ³æAndroid¿Í»§¶Ë
fenggaol26Â¥
2016-10-24 07:11
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡













»Ø¸´´ËÂ¥