Фундаментальная математика — теория всего в 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 «теории всего» — научная картина мира (все сводится к законам физики), информатика (все сводится к битам) и фундамент математики (все сводится к логике)....