Айфон 16 в Уфе: почему цена так отличается в разных магазинах 
экономические советы от топора 
Тренд на натуральность: ура? 
Тандем-2028 
День в истории. Но конституцию он вынести не смог 
Скончалась легенда «Спокойной ночи, малыши» Галина Марченко. Актрисе было 88 лет 
Латам-2025: Начало. Лима, плато Наска, Куско и вокруг – фотоподборка. 
"Поезд достигнет пастбищ" 
Случайное фото Москвичи летом смогут использовать батареи центрального отопления в своих квартирах в качестве приборов охлаждения - вместо тепла в них планируется подавать ледяную воду, сообщает "РИА Новости" со ссылкой на Московскую объединенную ...
Ух. Это кто вообще?
vvagr — 02.07.2012
я придумал новые основания математики, которые позволят решить
проблему компьютерной проверки доказательств. Сейчас это называется
"унивалентные основания математики" и ими занимаются как
математики, так и теоретики языков программирования. Я почти не
сомневаюсь, что эти основания вскоре заменят теорию множеств и что
проблему языка абстрактной математики, который будут "понимать"
компьютеры можно считать в основном решенной.http://baaltii1.livejournal.com/198675.html?style=mine
Univalent Foundations of Mathematics http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html
Библиотеки на Cog - https://github.com/vladimirias/Foundations
Честно сказать, эту ссылку я запостил сразу как прочёл процитированный абзац, то есть не прочитав про "существ". И интересуют меня вовсе не существа.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Архив записей в блогах:
Любовь_фрезе Напомни, осень, музыку ветров. Среда, 27 Сентября 2023 г.
Напомни, осень, музыку ветров, Сыграй мотив – простой и гениальный, Как ты умеешь: всё без лишних слов, Светло, торжественно, чуть печально. Рисуй дождями нежность ...
http://www.youtube.com/watch?v=hHUbLv4ThOo фотограф Pavel Dolezal http://art-on.ru/rubric/nu/32732.html/ ...
Заголовки новостных сайтов пестрят сообщениями: «В Санкт-Петербурге взорван памятник Ленину». Не могу поддержать действия неизвестных, взорвавших памятник Ленину, но мотивы, подвигнувшие их к данному деянию, понимаю. Это обратная реакция на ...
... было отловлено за целую неделю! не урожай нынче на котиков((
Кто же еще поможет чинить Камаз как не котик?) Без него точно ничего не получится!
Напарник помощника в починке ...
