Constructive processes performed wi

Constructive processes performed with pencil and paper, the stricter view of the intuitionists, led by Brouwer, is that mathematics takes place primarily in the mind, and that written mathematics is secondary. One consequence of that is that Brouwer regards all axiomatizations of intuitionistic logic to be incomplete. Reflection can always uncover further intuitively true axioms of intuitionistic logic, and so it can never be regarded as being in final from.

ผลลัพธ์ (ไทย) 1:

สร้างสรรค์กระบวนดำเนินการ ด้วยดินสอ และกระดาษ ดูเข้มงวดของ intuitionists นำ โดย Brouwer คณิตศาสตร์เกิดขึ้นในจิตใจเป็นหลัก และคณิตศาสตร์ที่เขียนเป็นรอง เวรที่หนึ่งคือ ว่า Brouwer พิจารณา axiomatizations ทั้งหมดของตรรกะ intuitionistic ไม่สมบูรณ์ สะท้อนเสมอสามารถเปิดสัจพจน์สังหรณ์ใจจริงเพิ่มเติมของตรรกะ intuitionistic และดังนั้น ก็ไม่เคยนับเป็นสุดท้ายจาก

ผลลัพธ์ (ไทย) 2:

กระบวนการสร้างสรรค์ดำเนินการกับดินสอและกระดาษ, มุมมองที่เข้มงวดของ intuitionists นำโดยเว่อร์เป็นว่าคณิตศาสตร์ส่วนใหญ่จะเกิดขึ้นในใจและว่าคณิตศาสตร์เป็นลายลักษณ์อักษรเป็นเรื่องรอง หนึ่งผลมาจากการที่เป็นที่นับถือเว่อ axiomatizations ทั้งหมดของตรรกะ intuitionistic จะไม่สมบูรณ์ สะท้อนมักจะสามารถค้นพบความจริงอีกอย่างสังหรณ์ใจหลักการของตรรกะ intuitionistic และดังนั้นจึงไม่สามารถได้รับการยกย่องว่าเป็นในขั้นสุดท้ายจาก

ผลลัพธ์ (ไทย) 3:

กระบวนการที่สร้างสรรค์ขึ้นด้วยดินสอและกระดาษ นอกจากนี้มุมมองของ intuitionists นำโดย บรูเวอร์ ก็คือ คณิตศาสตร์ ใช้สถานที่หลักในจิตใจ และเขียนคณิตศาสตร์มัธยมศึกษา ผลพวงหนึ่งที่จะช่วย axiomatizations Brouwer ทั้งหมดของตรรกวิทยาสหัชญาณนิยมจะไม่สมบูรณ์สะท้อนสามารถค้นพบเพิ่มเติมสังหรณ์ใจจริงสัจพจน์ของตรรกวิทยาสหัชญาณนิยม , และดังนั้นจึงไม่ถือว่าเป็นครั้งสุดท้ายจาก