Лучшие 6 цитат Альфред Тарский на MyQuotes

Однако машина позволила бы нам проверить гипотезу для любого специального значения n. Мы могли бы выполнить такие тесты для последовательности последовательных значений n = 2,3, .. вплоть до, скажем, n = 100. Если результат хотя бы одного теста был отрицательным, гипотеза оказалась бы ложной, в противном случае наша уверенность в гипотезе возросла бы, и мы должны почувствовать желание попытаться установить гипотезу, а не пытаться построить контрпример .

Если математик желает опровергнуть работу одного из своих коллег, скажем, А, то самый эффективный метод, который он находит для этого, - это спросить, где можно применить результаты. Человек в трудном положении, прислонившись спиной к стене наконец, обнаруживает исследования другого математика B в качестве места применения его собственных результатов. Если следующий B сталкивается с подобным вопросом, он будет ссылаться на другого математика C. После нескольких шагов такого рода мы окажемся переданными обратно к исследованиям А, и таким образом цепь замыкается .

Это может быть непопулярно и устарело, но я не думаю, что научный результат, который дает нам лучшее понимание мира и делает его более гармоничным в наших глазах, должен восприниматься более низко, чем, скажем, изобретение, которое снижает стоимость асфальтирования дорог или улучшает бытовую сантехнику.

Логика справедливо считается основой всех других наук, хотя бы потому, что в каждом аргументе мы используем понятия, взятые из области логики, и что когда-либо правильный вывод происходит в соответствии с его законами.

Не может быть никаких сомнений в том, что знание логики имеет большое практическое значение для всех, кто хочет правильно мыслить и делать выводы.

Предложение «снег белый». верно, если и только если снег белый.