m - Post a comment [entries|archive|friends|userinfo]
m

[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Feb. 14th, 2008|07:52 pm

andrey_bovykin@lj
da i s kvantorom suschestvobanija tozhe problemy. Esli realizujuschee naturalnoe chislo uzhe najdeno - to ponjatno, a esli net - to chto? naprimer neg(Con(NF))?

Polovina logikov ischet primer, drugaja polovina - naoborot, probuet dokazat' ZF |- Con(NF) ili chto esche kto-nibud' |-Con(NF).

Link Read Comments

Reply:
From:
(will be screened)
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Username:
Password:
Subject:
No HTML allowed in subject
Message:



Notice! This user has turned on the option that logs your IP address when posting.