Аналитическая машина ткет алгебраические узоры, наподобие того, как станок Жаккара ткет узоры из цветов и листьев»
Stas Varychidézettelőző év
Ахилл: Вот, послушайте… Два монаха спорили о флаге Один сказал; «Этот флаг движется». Другой возразил: «Нет, это ветер движется». В это время мимо проходил шестой патриарх, Зенон, который сказал монахам: «Не флаг и не ветер — движется ваша мысль!»
Maxim Chalovidézett2 évvel ezelőtt
Короче, Гёдель показал, что понятие «доказуемости» уже, слабее понятия истинности вне зависимости от того, какую аксиоматическую систему мы выбираем.
fb2epub
Húzza és ejtse ide a fájljait
(egyszerre maximum 5-öt)