Ergebnisse für: proof
Hier findest Du Bücher, die sich mit proof beschäftigen.
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining t...
...
...
This book by Tomasz Gudzowaty, a photographer otherwise known for impeccably crafted black-and-white images, is a bold and unexpected attempt to embrace the aesthetics of chance, hidden in what he once considered a byproduct of his artistic process. Polaroid Type 55 fi lm—which produced instant po...
...
Einer Anleitung zum Human Leading....
In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classical analysis given by Gerhard Gentzen in the 1930s. We develop this further using a new theory of ordinal notation and connecting this with combinatoric...
...
...
...
...
...
...
...
...
...
...
...
...
...