Язык:
Формат:
только полные версии  
Теорема о семантической недостижимости формальных систем
Математика, Философия

Теорема о семантической недостижимости формальных систем

Язык: русский
Год: 2026
Статус: Закончена
полная версия

В статье формально доказывается, что для любой формальной системы невозможно средствами самой этой системы обработать все возможные...
Математические олимпиады: Азиатско-Тихоокеанская, «Шёлковый путь»
Математика

Математические олимпиады: Азиатско-Тихоокеанская, «Шёлковый путь»

Год: 2017

Кунгожин А.М., Кунгожин М.А., Байсалов Е.Р., Елиусизов Д.А. Математические олимпиады: Азиатско-Тихоокеанская, «Шёлковый путь». Электронное...