Tracking reason : proof, consequence, and truth

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Jody Azzouni

Ngôn ngữ: eng

ISBN-10: 019518713X

Ký hiệu phân loại: 511.36 Proof theory and constructive mathematics

Thông tin xuất bản: Oxford ; New York : Oxford University Press, 2006

Mô tả vật lý: vi, 248 p. ; , 25 cm.

Bộ sưu tập: Khoa học tự nhiên

ID: 43401

"Ordinary people - mathematicians among them - grasp when they take something to follow (deductively) from something ease. This is the backbone of our self-ascribed ability to reason. This book investigates the connection between that ordinary notion of consequence and the formal analogues developed by logicians. One crucial claim of the book is that, despite our apparent intuitive grasp of when something follows from something else, we have no introspective access to the rules by which we reason, nor to the scope and range of the domain, as it were, of our reasoning. The point is illustrated with a close analysis of a paradigmatic case of ordinary reasoning: mathematical proof."--BOOK JACKET.
Includes bibliographical references (p. 231-238) and index.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH