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