Добавено |
...алгоритъмът за намиране на доказателства в произволна формална система винаги е налице, ако само системата допуска някакво доказателство.
Роджър Пенроуз
Подобни
Истинската математическа истина надхвърля онова, което човекът е създал.
Роджър Пенроуз
Общата относителност със сигурност е много красива теория, но как човек преценява елегантността на физическите теории като цяло?
Роджър Пенроуз
Ако идвате от математиката, както и аз, осъзнавате, че има много проблеми, дори класически проблеми, които не могат да бъдат решени само с изчисления.
Роджър Пенроуз
Обективността, но неизмеримостта на спиновото състояние на електроните, се обяснява с друг важен факт: невъзможно е да се копира квантовото състояние, оставяйки първоначалното състояние недокоснато!
Роджър Пенроуз
...като даде точно определение на механична процедура, по този начин Тюринг показа, че има напълно ясно определени математически операции, които не могат да бъдат наречени механични в общоприетия смисъл на думата.
Роджър Пенроуз
Промяната на една от частиците в друга, еквивалентна, е същото като да не промените нищо.
Роджър Пенроуз
Убеден съм, че - въпреки мнението на повечето физиолози - квантовите явления могат да играят важна роля във функционирането на човешкия мозък.
Роджър Пенроуз
За да се реши дали алгоритъмът действително ще работи или не, човек има нужда от прозрения, а не само от друг алгоритъм.
Роджър Пенроуз
Осъзнаването, аз приемам като един аспект - пасивният аспект - на феномена на съзнанието. Съзнанието има и активен аспект, а именно чувството за свободна воля.
Роджър Пенроуз
Научният светоглед, който не се справя дълбоко с проблема на съзнателния ум, не може да има сериозни претенции за пълнота.
Роджър Пенроуз