大葉大學圖書館 |

登入

回首頁

Truth through proof[electronic resou...

Weir, Alan.

Truth through proof[electronic resource] :a formalist foundation for mathematics /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	510.1
書名/作者:	Truth through proof : a formalist foundation for mathematics // Alan Weir.
作者:	Weir, Alan.
出版者:	Oxford : : Oxford University Press,, 2010.
面頁冊數:	1 online resource (xiv, 281 p.) : : ill.
標題:	Mathematics - Philosophy.
標題:	Logic, Symbolic and mathematical.
ISBN:	9780191594915 (ebook) :
ISBN:	0191594911 (ebook) :
書目註:	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.
電子資源:	http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001

Truth through proof[electronic resource] :a 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:

379760
Mathematics
--Philosophy.

LC Class. No.: QA8.4

Dewey Class. No.: 510.1

Truth through proof[electronic resource] :a formalist foundation for mathematics /
LDR:01208nam 2200253 a 4500 001 369928
003 StDuBDS
005 20120601162315.0
006 m||||||||d||||||||
007 cr||||||||||||
008 121228s2010 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 484683
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 379760
650 0 $a Logic, Symbolic and mathematical. $3 381130
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 讀者評論

多媒體

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

評論

Export

取書館別