Foundations of the Formal Sciences

TitleLooking for busy beavers. A socio-philosophical study of a computer-assisted proof
Publication TypeBook Chapter (with title)
Year of Publication2011
AuthorsDe Mol, L
Secondary AuthorsFrançois, K, Löwe, B, Müller, T, Van Kerkhove, B
Book TitleFoundations of the Formal Sciences
Pages61–90
PublisherCollege Publications
Abstract

"Young man, in mathematics you don't understand things, you just get used to them" John von Neumann

Citation Keyde2011looking
Download PDF (Author PDF)
PDF author (public):