Paulo Guilherme Santos 
Diagonalization in Formal Mathematics 

Ủng hộ
In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. After that, Yablo’s paradox is examined, and a self-referential interpretation is given. From that, a general structure of diagonalization with paradoxes is presented. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics.
€53.49
phương thức thanh toán

Mục lục

Diagonalization in Mathematics.- Diagonalization Lemma.- Fixed Point Theorems.- Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox.

Giới thiệu về tác giả

Paulo Guilherme Santos is currently a Ph D student at FCT, Universidade Nova de Lisboa, Portugal and at University of Tübingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● Trang 89 ● ISBN 9783658291112 ● Kích thước tập tin 0.8 MB ● Nhà xuất bản Springer Fachmedien Wiesbaden ● Thành phố Wiesbaden ● Quốc gia DE ● Được phát hành 2020 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 7339494 ● Sao chép bảo vệ DRM xã hội

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

178 Ebooks trong thể loại này