Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Truth, Proof and Infinity P. Fletcher

Truth, Proof and Infinity

A Theory of Constructive Reasoning

Szerző: P. Fletcher
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: Springer
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
72 861 Ft
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given,...

Információk a könyvről

Szerző
P. Fletcher
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
1998
oldal
470
EAN
9780792352624
ISBN
0792352629
Enbook ID
05250582
Kiadó
Springer
Súly
1850
Méretek
156 x 234 x 27

Teljes leírás

Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms `construction' and `proof' has never been adequately explained (although Kriesel, Goodman and Martin-Löf have attempted axiomatisations). This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting arithmetic and constructive analysis are given. The philosophical basis of constructivism is explored thoroughly in Part I. The author seeks to answer objections from platonists and to reconcile his position with the central insights of Hilbert's formalism and logic. Audience: Philosophers of mathematics and logicians, both academic and graduate students, particularly those interested in Brouwer and Hilbert; theoretical computer scientists interested in the foundations of functional programming languages and program correctness calculi.

Érdekelheti

Dutch Dominie of the Catskills

Murdoch David Murdoch
10 746 Ft

Pacific Islands Guestworkers in Australia

Kirstie Petrou
63 366 Ft

Thoughtfulness and the Rule of Law

Jeremy Waldron
18 413 Ft

Quantitative Analysis for Management, Global Edition

Barry Render
36 094 Ft

The Concept of Beauty

W. T. Stace
6 823 Ft

new Book of Knowledge. Shewing the Effects of the Planets and Other Astronomical Constellations; With the Strange Events That Befall men, Women and Ch

GODFRIDUS
11 728 Ft

Bancroft's Works

Hubert Howe Bancroft
15 427 Ft

Heidegger

J Jeremy Wisnewski
20 103 Ft

Madman

Khalil Gibran
3 255 Ft

Magic Dogs of San Vicente

Mark Fishman
6 456 Ft

Hester's Sacrifice. [A Novel.] by the Author of "St. Olave's," Janit's Cross." [Miss Tabor].

Eliza Stephenson Tabor
9 527 Ft

Wandering in Exile

Peter Murphy
4 932 Ft

Women of the Twelfth Century

Georges Duby
8 545 Ft

Crocodile

Maurizio de Giovanni
4 349 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Erfolgreich integrieren - die Staatliche Europa-Schule Berlin

Jens Möller
13 418 Ft

Un viaje por el mar

GERARD LO MONACO
5 559 Ft

Nation und Fremdenfeindlichkeit. Inklusions- und Exklusionsmomente sozialer Identitaten

Julia Sterzer
6 084 Ft

My Heart Belongs to the Motherland

Xiaodong Li
5 770 Ft

SONG ALBUM VOL. 1

HUGO WOLF
35 628 Ft

Rodolphe et Marie ou la Société secrète, roman historique. Tome 4

August Lafontaine
9 128 Ft