€96.29
สารบัญ
Brouwer and Brouwerian intuitionism.- Another look at Brouwer’s dissertation.- Brouwerian infinity.- The new intuitionism.- Truth and experience of truth.- The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem.- The intersection of intuitionism (Brouwer) and phenomenology (Husserl).- Brouwer on ‘hypotheses’ and the middle Wittgenstein.- Brouwer’s notion of intuition and theory of knowledge by presence.- Buddhist models of the mind and the common core thesis on mysticism.- Kindred spirits.- Remarks on the supposed french’ semi-’ or ‘pre-intuitionism’.- Poincaré: intuitionism, intuition, and convention.- Some of Julius König’s mathematical dreams in his New Foundations of Logic, Arithmetic, and Set Theory.- Gödel, constructivity, impredicativity, and feasibility.- Lorenzen’s operative justification of intuitionistic logic.- Mathematical perspectives.- The Hilbert-Brouwer controversy resolved?.- Proof theory and Martin-Löf Type Theory.- Some remarkson linear logic.- Two applications of dynamic constructivism: Brouwer’s continuity principle and choice sequences in formal topology.- A reverse look at Brouwer’s Fan Theorem.- Some applications of Brouwer’s Thesis on Bars.- Concluding remarks at the Cerisy conference.- A bibliography of L.E.J. Brouwer.ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!
ภาษา อังกฤษ ● รูป PDF ● หน้า 422 ● ISBN 9783764386535 ● ขนาดไฟล์ 2.8 MB ● บรรณาธิการ Mark van Atten & Pascal Boldini ● สำนักพิมพ์ Springer Basel ● เมือง Basel ● ประเทศ CH ● การตีพิมพ์ 2008 ● ที่สามารถดาวน์โหลดได้ 24 เดือน ● เงินตรา EUR ● ID 2205877 ● ป้องกันการคัดลอก โซเชียล DRM
หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ
87,106 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้
