Попытка разговора об особенностях мышления математиков

[a_bugaev]

В марте была попытка разговора об особенностях мышления математиков (мышления на темы, от математики далёкие).

Сейчас зашла речь в разговоре, нашёл ту ветку, решил сохранить ссылку
http://russhatter.livejournal.com/200661.html?thread=3097301#t3097301

Comments

[kouzdra]

http://russhatter.livejournal.com/200661.html?thread=3300309#t3300309

PS: И да - доказательство теоремы Геделя для ее понимания знать обязательно - иначе - Могу только вспомнить свою любимую цитату из Эрика Рэймонда:

Godel’s incompleteness theorem only applies to formal axiomatic deduction, which is a far more constrained form of “description” than we have for the real universe (in which, for example, the so-called “Law” of the Excluded Middle normally does not apply). If you try to apply Godel’s theorem outside its proper domain, all you will get is impressive-sounding nonsense.

[kaktus77]

Вы там путаете номинализм с идеализмом, имхо.
А в схоластическом "номинализм vs реализм" имелся в виду совсем другой "реализм" - платоновский, который нынче называют "идеализмом" :)

Если ближе к Геделю, то доказательство Генцена есть тогда идеализм ("реализм") в отличие от доказательства Геделя (номинализма).
Это метафора, конечно :)

[kouzdra]

Я как раз ничего не путаю - хотя бы потому чо с вашей последней фразой согласен вполне. Номинализм - это если актуальнее - близко к материализму - материализм собственно и есть реализм, в котором пространство "идей" редуцировано до одной - "материи". Переход от материализма к номинализму, связанный с отбрасыванием этого костыля уже более технический.

Это примерно как переход от религии к атеизму через деизм (который примерно такая же редукция идеи бога)

[kaktus77]

== близко к материализму