國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Truth through proofa formalist found...

~

Weir, Alan.

Truth through proofa formalist foundation for mathematics /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Truth through proofAlan Weir.
其他題名:	a formalist foundation for mathematics /
作者:	Weir, Alan.
出版者:	Oxford :Oxford University Press,2010.
面頁冊數:	1 online resource (xiv, 281 p.) :ill.
標題:	MathematicsPhilosophy.
電子資源:	http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
ISBN:	9780191594915 (ebook) :

Truth through proofa formalist foundation for mathematics /
Weir, Alan.

Truth through proofa 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:

187658
Mathematics
--Philosophy.

LC Class. No.: QA8.4

Dewey Class. No.: 510.1

Truth through proofa formalist foundation for mathematics /
LDR:01208nmm 2200253 a 4500 001 347328
003 StDuBDS
005 20120601162315.0
006 m||||||||d||||||||
007 cr||||||||||||
008 121113s2010 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 578650
245 1 0 $a Truth through proof $h [electronic resource] : $b a formalist foundation for mathematics / $c Alan Weir.
260 $a Oxford : $b Oxford University Press, $c 2010.
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 187658
650 0 $a Logic, Symbolic and mathematical. $3 180452
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 讀者評論

館藏

1 筆 • 頁數 1 •
1

館藏流通類別

000000071711

電子館藏

1圖書

電子書

EB QA8.4 2010

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

多媒體

多媒體檔案
http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入