|
Тема |
Логика и теория на множествата |
|
Автор |
harish_chandra (curmudgeon) |
|
Публикувано | 15.09.09 17:37 |
|
|
Като стана дума за Тюринг в другата тема, реших да порчета малко повече за него. Не стигнах далече, ако някой има интересен линк да даде. Та от едно нещо на друго Гьодел, логика, теория на множествата, та реших да питам следното. Преди това да вмъкна едно спекулативно/апокрифно предположение което ми се мярна някъде. Тюринг е бил гост в иснститута в Принстън през трийсете и е познавал Гьодел. Той, Гьодел, е бил голем фен на филм за снежанка и седемте джуджета, както и на всякакви приказки. Та предположението е, че той е 'запалил' Тюринг по този филм. От където и предположението, че избора на отровна ябълка е заради това. Както и да е обратно към темата. Като изключим логиката и теория на множествата, където те очевидно се изпозват, до колко се изпозват в останалата математика? Например колко големи множества се изпозват, в смисъл колко често човек среща множества с мощност по-голяма от континуума(по-точно по-голяма от мошноста на множество от фунции от реалните в реалните)? Или за формулировката на твърдения и доказателства колко често се налага да се използва third-order-logic и или по-големи? Ако има някой логик тук да не си помисли, че се опитвам да омаловажавам логиката. Нищо подобно, просто ми е интересно. Например в доказателсво на хипотезата на Риман колко от основите са необходими. Това ми напомня за един анекдот за Веил и хипотезата на Риман, но хайде да не се отплесвам.
|
| |
|
|
|