[Если Вы увидите у меня в журнале много необычных новых постов о математике, логике и науке-не удивляйтесь. "Математику лишь затем следует изучать, что она ум в порядок приводит" (с) Ломоносов. Если неинтересно пролистывайте. Кому интересно-читайте, подписывайтесь! Начну с простых постов и цитирований того, что мне интересно. Дальше-посмотрим, как ( Read more... )

http://ru.wikipedia.org/wiki/%D0%9F%D0%B0%D1%80%D0%B0%D0%B4%D0%BE%D0%BA%D1%81_%D0%BB%D0%B6%D0%B5%D1%86%D0%B0

Старик постоянно говорил, что всё вокруг - неправда ( Read more... )

... теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула ( Read more... )