В брошюре доступным неспециалистам языком рассказывается о некоторых из основополагающих принципов, на которых строится наука математика: чем понятие математического доказательства отличается от понятия доказательства, принятого в других науках и в повседневной жизни, какие простейшие приемы доказательства используются в математике, как менялось со временем представление о "правильном" доказательстве, что такое аксиоматический метод, в чем разница между истинностью и доказуемостью.
Для очень ...
Теорема Гёделя о неполноте — не только одна из самых замечательных и неожиданных теорем математической логики, да и всей математики, но, пожалуй, единственная на сегодняшний день теорема теории познания.
Читатель совершенно прав: его доказательство короче. Однако мы призываем читателя осознать тот факт, что предложенное нами доказательство совершенно убедительно, — а значит, совершенно безупречно.