История изменений
Исправление
Forum0888,
(текущая версия)
:
Шутка (но доля правды в ней имеется).
Планирую также начать разработку API для использования знаний и баз знаний.
Вот тогда проведём верификацию уже созданных «доказательств».
Ведь математика в основном о «абстракциях, глубоко спрятанных в десяти иных абстракций».
Но ИМХО истинность суждений можно алгоритмически проверить.
Исправление
Forum0888,
:
Шутка (но доля правды в ней имеется).
Планирую также начать разработку API для использования знаний и баз знаний.
Вот тогда проведём верификацию уже созданных «доказательств».
Ведь математика в основном о «абстракциях, глубоко спрятанных в десяти иных абстракций».
Но ИМХО суждения о них можно алгоритмически проверить.
Исправление
Forum0888,
:
Шутка (но доля правды в ней имеется).
Планирую также начать разработку API для использования знаний и баз знаний.
Вот тогда проведём верификацию уже созданных «доказательств».
Ведь математика в основном о «абстракциях, глубоко спрятанных в десяти иных абстракций».
Но ИМХО суждения о них можно формально проверить.
Исходная версия
Forum0888,
:
Шутка (но доля правды в ней имеется).
Планирую также начать разработку API для использования знаний и баз знаний.
Вот тогда проведём верификацию уже созданных «доказательств».
Ведь математика в основном о «абстракция, спрятанная глубоко в десять иных абстракций».
Но ИМХО суждения о них можно формально проверить.