[Recent Entries][Archive][Friends][User Info]

Time	Text
06:33 pm (Anonymous) [Link]	>Те фундаментальные, базовые модели, на которых мы изучаем логическое мышление - арифметика, евклидова геометрия, теория множеств, - заведомо, доказано непротиворечивы непротиворичивость формальных систем формально неразрешима "доказательство" непртиворечивости это форма парадокса лжеца
Reply:
	From: Anonymous OpenID Identity URL:  Login?  пользователь LiveJournal.com имя пользователя:    помнить 1 день 1 неделю 1 месяц 1 год Вы должны предварительно войти в LiveJournal.com   E-mail для ответов:  Вы сможете оставлять комментарии, даже если не введете e-mail. Но вы не сможете получать уведомления об ответах на ваши комментарии! Внимание: на указанный адрес будет выслано подтверждение. LJ.Rossia.org user Username: Password: Login?  Subject: No HTML allowed in subject Message: Don't auto-format: Notice! This user has turned on the option that logs your IP address when posting.