Йа волосат и бородат!
Интересно, что получится, если обучить дите с малого возраста методам исчисления высказываний, а потом дать ему аксиомы геометрии Эвклида? Получилась бы в точности такая же геометрия, как имеющаяся, или нет?
Еще занятно было б посмотреть, что получилось бы, если выдать аксиомы геометрии Римана.
Исчисление высказываний - это раздел матлога, в котором изучаются методы доказательства некоторых высказываний на основе некоторого базового множества аксиом при помощи определенных правил вывода.
Еще занятно было б посмотреть, что получилось бы, если выдать аксиомы геометрии Римана.
Исчисление высказываний - это раздел матлога, в котором изучаются методы доказательства некоторых высказываний на основе некоторого базового множества аксиом при помощи определенных правил вывода.
-
-
24.04.2007 в 09:46мне жаль это дите =)
-
-
24.04.2007 в 10:34-
-
24.04.2007 в 12:08-
-
24.04.2007 в 20:28-
-
24.04.2007 в 20:46И, Алиюш, учиться для головы вредно!