![Type theory / Philosophy of mathematics / Proof assistants / Automath / Automated theorem proving / Proof theory / Nicolaas Govert de Bruijn / Mathematical proof / Foundations of mathematics / Mathematical logic / Theorem / Mathematics Type theory / Philosophy of mathematics / Proof assistants / Automath / Automated theorem proving / Proof theory / Nicolaas Govert de Bruijn / Mathematical proof / Foundations of mathematics / Mathematical logic / Theorem / Mathematics](https://www.pdfsearch.io/img/1747b34d87a5c0187d927633f1332e31.jpg) Date: 2013-01-17 04:22:03Type theory Philosophy of mathematics Proof assistants Automath Automated theorem proving Proof theory Nicolaas Govert de Bruijn Mathematical proof Foundations of mathematics Mathematical logic Theorem Mathematics | | De Bruijn’s ideas on the Formalization of Mathematics Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Foundation of Mathematics for Computer-Aided Formalization Padova, 9-11 January 201Add to Reading ListSource URL: www.cs.ru.nlDownload Document from Source Website File Size: 326,94 KBShare Document on Facebook
|