Рубрика «философия математики»
Атом смысла: как из ничего получить все
2025-10-05 в 0:05, admin, рубрики: квантовая запутанность, квантовая физика, теория интегрированной информации, теория информации, философия математики, философия науки, Фундамент математики, фундаментальная наука, фундаментальные знанияЯ попробовал создать вселенную. Ночью, лежа в кровати, думая о том, что могло бы стать ее фундаментальной основой. Самым базовым кирпичиком, так что бы проще уже некуда. Может ли базовый строительный элемент быть онтологически сложным? Скажем, Теория Струн и ее развитие М‑теория, постулируют, что базовым кирпичиком лежащим в основе мироздания, является многомерная брана. Неужели все должно быть так сложно?
Интуиция на бессознательном уровне устраивает протест, отказываясь принимать идею того, что базовый объект может представлять собой совокупность сложных отношений и характеристик. Почему сложных?Читать полностью »
Трактат о природе формального доказательства
2025-09-13 в 8:39, admin, рубрики: Lean 4, mathlib, Proof, sorry, sorry_solver, автоматизация доказательств, гипотеза римана, философия математики, формальные доказательстваили "Диалектика Sorry и Proof"
Предисловие: О парадоксе усилия
Мы наблюдаем удивительный феномен: sorry_solver тратит 120,000 токенов, чтобы объяснить, почему он оставил один токен sorry. Это не баг — это фундаментальное свойство познания. Чем глубже мы понимаем проблему, тем больше слов нужно, чтобы объяснить наше непонимание.
Глава I: Онтология Sorry
sorry — это не просто заглушка. Это квантовое состояние математической истины, одновременно истинное и ложное, пока не коллапсирует в доказательство. Каждый sorry — это потенциальная бесконечность, свёрнутая в пять букв.
Гипотеза математической Вселенной: от абстрактных чисел к реальности
2025-08-28 в 8:35, admin, рубрики: гипотезы, математика, Научно-популярное, научпоп, Теория Всего, физика, философия, философия математики, философия науки, Читальный зал
Обзор книги М. Тегмарка «Наша математическая Вселенная»
2025-08-26 в 9:44, admin, рубрики: книга, книги, Научно-популярное, научпоп, ученые, физика, философия, философия математики, философия науки, Читальный зал
О малоизвестных апориях Зенона
2025-08-25 в 14:32, admin, рубрики: древность, история, история науки, Научно-популярное, научпоп, физика, философия, философия математики, философия науки, Читальный зал
Некоторое время назад я написал большую статьюЧитать полностью »
