?

Log in

No account? Create an account
Сверхновый Завет в прямом эфире

> recent entries
> calendar
> friends
> website
> profile

Tuesday, September 5th, 2006
9:21p - И снова цитату повесим
«Начиная с XIX века логика была математизирована, а математика логизирована. Понятие логического рассуждения и вывода приобрело математически четкий смысл. Появился шанс решить уже возникшие в науке логические проблемы (дать определение понятия "проблема") на новом уровне. И вот в числе 23–х наиболее актуальных математических проблем, провозглашенных Гильбертом на 2–м Международном конгрессе математиков была сформулирована и следующая: "Математическое изложение аксиом физики". Если бы это удалось сделать, то появилась бы надежда на принципиальную достижимость идеала Лапласа. Это был бы триумф логической формы познания, доказательство бесконечной ничем не ограниченной силы логики, перед которой не только практически, но даже и в принципе не может быть никаких преград.

Однако в 1931 году выдающийся логик и математик современности Курт Гедель доказал свою знаменитую первую теорему – "теорему о неполноте", согласно которой утверждение о непротиворечивости формальной логической системы невозможно доказать в рамках самой этой системы, если эта логическая система непротиворечива. Если же формальная логическая система противоречива, то в ней можно доказать ЛЮБОЕ утверждение, в том числе и утверждение, что она непротиворечива.<...>

В последующем Read more...Collapse )

(4 comments |comment on this)

9:36p - Поговорим о классической литературе
Касательно Достоевского: http://a-young.livejournal.com/58631.html

Касательно Пушкина: http://kshetunsky.livejournal.com/20270.html

(4 comments |comment on this)


<< previous day [calendar] next day >>
> top of page
LiveJournal.com