Philosophical aspects of computerized verification of mathematics

N.G. Bruijn, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

This invited lecture discusses various philosophical aspects of computerized verication of mathematics. Particular attention is given to the influences of type-theoretical verication systems. The paper is halfway between a full paper and an extended abstract. The reason is that an extensive text of a very similar lecture (Venice, 1995) is to be published in [7].
Originele taal-2Engels
TitelAutomated Reasoning with Analytic Tableaux and Related Methods (Proceedings TABLEAUX'98, Oisterwijk, The Netherlands, May 5-7, 1998)
RedacteurenH.C.M. Swart, de
UitgeverijSpringer
Pagina's1-9
ISBN van geprinte versie3-540-64406-7
StatusGepubliceerd - 1998

Publicatie series

NaamLecture Notes in Computer Science
Volume1397
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'Philosophical aspects of computerized verification of mathematics'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Bruijn, de, N. G. (1998). Philosophical aspects of computerized verification of mathematics. In H. C. M. Swart, de (editor), Automated Reasoning with Analytic Tableaux and Related Methods (Proceedings TABLEAUX'98, Oisterwijk, The Netherlands, May 5-7, 1998) (blz. 1-9). (Lecture Notes in Computer Science; Vol. 1397). Springer.