Back to Results
First PageMeta Content
Proof theory / Philosophy of mathematics / Formal methods / Logic in computer science / Computer-assisted proof / Mathematical proof / Axiomatic system / Theorem / Undecidable problem / Mathematics / Logic / Mathematical logic


WHITHER MATHEMATICS? E.B. Davies 15 December 2004
Add to Reading List

Document Date: 2004-12-17 11:21:14

Open Document

File Size: 108,78 KB

Share Result on Facebook

City

London / /

Event

Product Issues / /

IndustryTerm

large software projects / axiom systems / important applications / software context / chaotic dynamical systems / flawed software / ground state energy / software package / software packages / program analysis tools / rigorous solution / energy / /

OperatingSystem

Windows XP / /

Organization

British Civil Service / Royal Society / /

Person

Michael Aschbacher / Tom Hales / Benoit Mandelbrot / David Gorenstein / Jean-Pierre Serre / Proofs Anyone / Bertrand Russell / Henri Poincar / Imre Lakatos / Roger Penrose / Paul Cohen / Robert MacPherson / /

Position

author / king / writer / /

Product

link / /

ProgrammingLanguage

Java / /

PublishedMedium

Annals of Mathematics / /

Technology

technology of program correctness proofs / Java / /

SocialTag