Language:
English
繁體中文
Help
回圖書館
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Truth through proof = a formalist fo...
~
Weir, Alan.
Truth through proof = a formalist foundation for mathematics /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Truth through proof/ Alan Weir.
Reminder of title:
a formalist foundation for mathematics /
Author:
Weir, Alan.
Published:
Oxford :Oxford University Press, : 2010.,
Description:
1 online resource (xiv, 281 p.) :ill. :
Subject:
Mathematics - Philosophy. -
Online resource:
http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
ISBN:
9780191594915 (ebook) :
Truth through proof = a formalist foundation for mathematics /
Weir, Alan.
Truth through proof
a formalist foundation for mathematics /[electronic resource] :Alan Weir. - Oxford :Oxford University Press,2010. - 1 online resource (xiv, 281 p.) :ill.
Includes bibliographical references and index.
'Truth Through Proof' defends an anti-platonist philosophy of mathematics derived from game formalism. Weir develops a more satisfactory successor to game formalism utilising anaccepted broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.
ISBN: 9780191594915 (ebook) :No priceSubjects--Topical Terms:
133738
Mathematics
--Philosophy.
LC Class. No.: QA8.4
Dewey Class. No.: 510.1
Truth through proof = a formalist foundation for mathematics /
LDR
:01208nmm 2200253 a 4500
001
142634
003
StDuBDS
005
20120601162315.0
006
m||||||||d||||||||
007
cr||||||||||||
008
160121s2010 enka fo 001 0 eng d
020
$a
9780191594915 (ebook) :
$c
No price
020
$a
0191594911 (ebook) :
$c
No price
035
$a
EDZ0000076353
040
$a
StDuBDS
$c
StDuBDS
050
4
$a
QA8.4
082
0 4
$a
510.1
$2
22
100
1
$a
Weir, Alan.
$3
261849
245
1 0
$a
Truth through proof
$h
[electronic resource] :
$b
a formalist foundation for mathematics /
$c
Alan Weir.
260
$a
Oxford :
$c
2010.
$b
Oxford University Press,
300
$a
1 online resource (xiv, 281 p.) :
$b
ill.
504
$a
Includes bibliographical references and index.
520
8
$a
'Truth Through Proof' defends an anti-platonist philosophy of mathematics derived from game formalism. Weir develops a more satisfactory successor to game formalism utilising anaccepted broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.
588
$a
Description based on print version record.
650
0
$a
Mathematics
$x
Philosophy.
$3
133738
650
0
$a
Logic, Symbolic and mathematical.
$3
93197
776
0 8
$i
Print version
$z
9780199541492
856
4 0
$3
Oxford scholarship online
$u
http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login