Abundance all around: Substrate, object, undecidable, inexhaustible
Jochen Szangolies, GĂśdel’s Proof and Einstein’s Dice: Undecidability in Mathematics and Physics – Part II, 3 Quarks Daily, March 6, 2023.
ONE:
Thus, undecidability seems to emerge whenever a theory’s substrate—the axioms of number theory, Turing’s A- and O-Machines—becomes the theory’s own object. The analogy to physics is immediate. Many theories are such that they apply to a limited set of phenomena. Maxwell’s theory of electromagnetism describes phenomena concerning the behavior of charges in electric and magnetic fields—a comprehensive, but clearly delineated subset of the (physical) universe. These can be studied ‘from ...
Восход солнца — рассвет бренда: как «585 Золотой» отмечает четверть века новой коллекцией
Развлекательная программа от «Юмор FM» на «Четыре Лапы Фесте»
Золотое кольцо России: что нужно знать перед поездкой
«585 Золотой» открыл самый большой ювелирный магазин бренда в Петербурге
Jannat Zubair sparks fallout rumours after unfollowing close friend Apoorva Mukhija on social media; read deets
'Digging in': Man Utd lower price by £20m for player with club advancing in talks
Sam Altman might be right: He’s not the only one who thinks the stock market is in ‘bubble’ territory
'He was better than Sachin ... ': Kambli's brother makes big revelation
Модный показ «Преппи стайл» в ТРЦ «Нора»
В Курской области УК получила штраф на 100 тысяч за невыполнение требований ГЖИ
Этери Бериашвили представляют новый трек — «Рядом с тобой».
DCLogic: основа ИТ-стратегии сегодня — это технологии и влияние государства
Block Fortress 2 выйдет на iOS в середине сентября
Разработчики Marvel Rivals объяснили работу матчмейкинга
Bungie CEO Pete Parsons retires: With Destiny 2 sentiment at an all-time low and pressure from Sony growing, Parsons has decided it's time to 'pass the torch' and head for an exit
'I hope all your cars break down': Destiny players bid good riddance to departing Bungie CEO Pete Parsons in a rare moment of unity
Государственный музей имени Пушкина примет модные события недели
Ранняя диагностика меланомы: почему это важно для жителей Челябинской области
Развлекательная программа от «Юмор FM» на «Четыре Лапы Фесте»
Модный показ «Преппи стайл» в ТРЦ «Нора»
Путин заговорил о дружбе с Трампом и нацелился на Аляску
Модный показ «Преппи стайл» в ТРЦ «Нора»
Ранняя диагностика меланомы: почему это важно для жителей Челябинской области
Джиган, NILETTO, Loc-Dog: Дорого
Тульские спортсменки заняли весь пьедестал в Москве
Кусает, но не больно: пауки-осы осваиваются в Татарстане
Субботнее чтиво: итоги уходящей недели
Михаил Леус: В Москве тепло, облачно, но без дождя
Татьяна Прозорова уступила в полуфинале Открытого чемпионата США
Диана Шнайдер побеждает Элизу Мертенс: прорыв в полуфинал турнира WTA-500
Даниил Медведев: я всегда с радостью приезжаю в Нью-Йорк
Кирилл Скачков остаётся одним из сильнейших российских теннисистов
«Зима будет крайне аномальная». Синоптики сказали, к чему готовиться
Кусает, но не больно: пауки-осы осваиваются в Татарстане
Тульские спортсменки заняли весь пьедестал в Москве
Гидрометцентр: остатки урагана "Эрин" могут повлиять на погоду в России
Музыкальные новости
«Семейное приключение». Джиган и Оксана Самойлова отдыхают в Карелии
Искусство на службе добра: Новосибирск принимает благотворительный концерт «Культура в помощь Донбассу»
Концерт «Я люблю тебя, Россия»
Певица Алсу на «Новой волне» рассказала о семейных традициях и любви к татарской кухне
Модный показ «Преппи стайл» в ТРЦ «Нора»
Ранняя диагностика меланомы: почему это важно для жителей Челябинской области
В регионах центральной России росгвардейцы приняли участие в мероприятиях ко Дню Государственного флага (видео)
В Йошкар-Оле открывается выставка уникальных экспонатов «Народы России. Большая семья – общая история»
Собянин: в Новой Москве активно обновляют системы водоснабжений
Тимур Иванов «пропал». Заседание суда перенесено: РБК
Вот оно какое, наше лето! Конкурс на Детском радио в Петербурге
Кубок КВН Главы Ленинского городского округа пройдет в Видном 30 августа
Водитель грузовика при движении задним ходом задавил человека на западе Москвы
Столичные росгвардейцы обеспечили безопасность автопробега, посвящённого Дню государственного флага
Водитель «газели» погиб в ДТП с грузовиком на 16-м километре МКАД в Москве
Стало известно состояние пострадавших в аварии на 81-м километре МКАД в Москве
Путин сообщил об обсуждении с США сотрудничества на Аляске
В студии Postimees Игорь Грецкий: реальна ли в обозримом будущем встреча Зеленского и Путина?
Политолог Суздальцев: Дубай может стать местом встречи Путина и Зеленского
Раскрыты архивы: Клинтон предлагал Путину обсудить вступление России в НАТО
РИА Новости: в Москве умер журналист Кирилл Вышинский после тяжелой болезни
Терапевт Кондрахин назвал эффективные способы борьбы с болезнью Альцгеймера
Диетолог Чехонина развеяла три популярных мифа о вреде пальмового масла
Что делает врач-гинеколог: процедуры и манипуляции
В Киеве утверждают о провале Зеленского
ТАСС: Кличко пытается заручиться поддержкой основателя «Азова» для борьбы с Зеленским
В студии Postimees Игорь Грецкий: реальна ли в обозримом будущем встреча Зеленского и Путина?
Лукашенко: Путин не разрешил ударить «Орешником» по Банковой
Тулячка завоевала "серебро" на соревнованиях по дзюдо
Тульские спортсменки заняли весь пьедестал в Москве
78.ru: в Кронштадте спасли подростков из Москвы, унесенных в залив
Россиян с Днем Государственного флага поздравляют с медиаэкранов страны
Лукашенко предложил организовать встречу Путина и Зеленского в Минске
Лукашенко назвал Минск идеальным местом для встречи Путина с Зеленским
Лукашенко: Минск ведет переговоры по заключенным только с США
Лукашенко считает, что ему не о чем говорить с беглыми оппозиционерами
Собянин: Шедевры из собрания Русского музея покажут на ВДНХ
Собянин рассказал о реконструкции корпуса образовательного центра «Протон»
Сергей Собянин и Оксана Лут посетили фестиваль «Вкусы России» на ВДНХ
Сергей Собянин: в Москве появились два новых технопарка
Москва запретила продажу электроудочек и луков: угроза для экосистемы
Суд Москвы наложил арест на имущество экс-сотрудника Росприроднадзора Карабаша
Россиян ждет аномальная погода в ближайшие дни
Московский зоопарк пополнился редким оранжевохохлым какаду из Новосибирска, который находится на грани вымирания
Кусает, но не больно: пауки-осы осваиваются в Татарстане
Тулячка завоевала "серебро" на соревнованиях по дзюдо
Субботнее чтиво: итоги уходящей недели
Патриарх Кирилл поблагодарил Елену Батурину за сохранение памяти о Юрии Лужкове
«Два Алтая» вошли в федеральную программу по развитию въездного туризма
Решением суда по исковому заявлению прокуратуры в пользу многодетного отца с Федеральной службы судебных приставов взысканы убытки, причиненные незаконным бездействием
В Ненецком округе руководящие работники балуются откатами
Молебен в честь преподобного Пимена Угрешского прошел в Балашихе
Поезда в Крым и из Крыма задерживаются в пути
Погода 22 августа: ночью до +14
Восемь поездов в Крым и обратно отстают от графика
Саранскую телемачту в День флага России украсит 180-метровый световой триколор
Михаил Леус: В Москве тепло, облачно, но без дождя
В Йошкар-Оле открывается выставка уникальных экспонатов «Народы России. Большая семья – общая история»
Тулячка завоевала "серебро" на соревнованиях по дзюдо
Гидрометцентр: остатки урагана "Эрин" могут повлиять на погоду в России
