[Перевод] Лямбда-исчисление в 397 байтах
#Математика #Программирование #lambdacalculus #лямбдаисчисление #виртуальнаямашина #двоичноелямбдаисчисление IV
https://habr.com/ru/post/654273/
#Математика #Программирование #lambdacalculus #лямбдаисчисление #виртуальнаямашина #двоичноелямбдаисчисление IV
https://habr.com/ru/post/654273/
Хабр
Лямбда-исчисление в 397 байтах
Лямбда-исчисление — это язык программирования с единственным ключевым словом. Это асфальтовая топь Тьюринга, обнаруженная научным руководителем Тьюринга. В этом посте я расскажу о совершенно новой...
Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq
#Calculusofconstructions #coq #typetheory #lambdacalculus #theoremprover #фундаментзнаний #Фундаментматематики
https://habr.com/ru/articles/870592/
#Calculusofconstructions #coq #typetheory #lambdacalculus #theoremprover #фундаментзнаний #Фундаментматематики
https://habr.com/ru/articles/870592/
Хабр
Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq
У нас есть 3 «теории всего» — научная картина мира (все сводится к законам физики), информатика (все сводится к битам) и фундамент математики (все сводится к логике)....