Ваша оценкаЦитаты
De_Rais28 января 2021 г.История математики начинается с изобретения выражающих числа письменных символов.
0200- De_Rais28 января 2021 г.Читать далее
Гёдель доказал, что если математика логически последовательна, то доказать это невозможно. И не потому, что он сам не смог найти доказательство, а потому, что доказательства не существует. И если вдруг, паче чаяния, вам удастся доказать, что математика последовательна, следом тут же придет доказательство тому, что это не так. Он также доказал, что ряд математических утверждений не могут быть ни доказаны, ни опровергнуты. И вновь не потому, что он лично не смог этого добиться, но потому, что это невозможно. Утверждения такого рода называются неразрешимыми.
0184 - De_Rais28 января 2021 г.
Благодаря Гёделю математическая истина стала восприниматься как иллюзия. Существуют лишь математические доказательства. Их внутренняя логика может быть безупречной, но при этом они существуют в более широком контексте фундаментальной математики, где нет гарантий, что игра в целом вообще имеет смысл. Гёдель не просто предположил это, – он это доказал.
069 - De_Rais28 января 2021 г.Читать далее
Чарльз Лютвидж Доджсон, более известный как Льюис Кэрролл, использовал свои формулировки для раздела математической логики, известного нам как логика высказываний, чтобы составлять и решать логические загадки. Типичный пример такой формулировки он приводит в своем труде «Символическая логика» от 1896 г.
• Никто из тех, кто действительно ценит Бетховена, не станет шуметь во время исполнения «Лунной сонаты».
• Морские свинки безнадежно невежественны в музыке.
• Те, кто безнадежно невежествен в музыке, не станут соблюдать тишину во время исполнения «Лунной сонаты».
Вывод таков: ни одна морская свинка не ценит Бетховена.0105 - De_Rais28 января 2021 г.
В 1557 г. английский математик Роберт Рекорд в своей книге «Точильный камень остроумия» ввел символ = для равенства, используемый по сей день. Он писал, что ему в голову не приходило ничего лучше, чем две параллельные линии равной длины.
069