語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Truth through proof = a formalist fo...
~
Weir, Alan.
Truth through proof = a formalist foundation for mathematics /
紀錄類型:
書目-電子資源 : 單行本
正題名/作者:
Truth through proof/ Alan Weir.
其他題名:
a formalist foundation for mathematics /
作者:
Weir, Alan.
出版者:
Oxford :Oxford University Press, : 2010.,
面頁冊數:
1 online resource (xiv, 281 p.) :ill. :
標題:
Mathematics - Philosophy. -
電子資源:
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
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入