How does platonic realism affect th

How does platonic realism affect the status of axiomatic set theory? From the point of view of
platonic realism, mathematical objects are given to us ready-made, with all their features and all their
properties. It follows that to say a mathematical theorem is true means it expresses a correct
statement about the relevant mathematical objects. (For example, the proposition 2 + 2 = 4 is not
merely a formal statement provable in arithmetic; it states an actual fact about numbers.) Now—if
we admit that mathematical objects are given to us with all their properties, it follows, in particular,
that the notion of set is a fixed, well-defined concept which we are not free to alter for our own
convenience. Thus the “sets” created by Zermelo and von Neumann do not exist, and theorems which
purport to describe these nonexistent objects are false! In conclusion, if we were to accept a strict
interpretation of platonic realism, we would be forced to reject the systems of Zermelo and von
Neumann as mathematically invalid.
Fortunately, the trend, for some time now, has been away from platonism and toward a more
flexible, more “agnostic” attitude toward mathematical “truth.” For one thing, developments in
mathematics have been conforming less and less to the pattern dictated by platonic philosophy. For
another, the cardinal requirement of platonism—that every mathematical object correspond to a
definite, distinct object of our intuition (just as “point” and “line” refer to well-defined objects of our
spatial intuition)—came to be an almost unbearable burden on the work of creative mathematicians
by the nineteenth century. They were dealing with a host of new concepts (such as complex numbers,
abstract laws of composition, and the general notion of function) which did not lend themselves to a
simple interpretation in concrete terms. The case of the complex numbers is a good illustration of
what was happening. Classical mathematics never felt at ease with the complex numbers, for it lacked
a suitable “interpretation” of them, and as a result there were nagging doubts as to whether such things
really “existed.” Real numbers may be interpreted as lengths or quantities, but the square root of a
negative real number—this did not seem to correspond to anything in the real world or in our intuition
of number. Yet the system of the complex numbers arises in a most natural way—as the smallest
number system which contains the real numbers and includes the roots of every algebraic equation
with real coefficients; whether or not the complex numbers have a physical or psychological
counterpart seems irrelevant.
The case of the complex numbers strikes a parallel with the problem of axiomatic set theory. For
the “sets” created by Zermelo and von Neumann arise quite naturally in a mathematical context. They
give us the simplest notion of set which is adequate for mathematics and yields a consistent axiomatic
theory. Whether or not we can interpret them intuitively may be relatively unimportant.
Be that as it may, many mathematicians in the early 1900’s were reluctant to make so sharp a break
with tradition as axiomatic set theory seemed to demand. Furthermore, they felt, on esthetic grounds,
that a mathematical theory of sets should describe all the things—and only those things—which our
intuition recognizes to be sets. Among them was Bertrand Russell; in his efforts to reinstate intuitive
set theory, Russell was led to the idea that we may consider sets to be ordered in a hierarchy of
“levels,” where, if A and are sets and A is an element of , then is “one level higher” than A.
For example, in plane geometry, a circle (regarded as a set of points) is one level below a family of
circles, which, in turn, is one level below a set of families of circles. This basic idea was built by
Russell into a theory called the theory of types, which can be described, in essence, as follows.
Every set has a natural number assigned to it, called its level. The simplest sets, those of level 0,
are called individuals—they do not have elements. A collection of individuals is a set of level 1; a
collection of sets of level 1 is a set of level 2; and so on. In the theory of types the expression a ∈ B
is only meaningful if, for some number n, a is a set of level n and B is a set of level n + 1. It follows
that the statement x ∈ x has no meaning in the theory of types, and as a result, Russell’s paradox
vanishes for the simple reason that it cannot even be formulated.

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

ไม่สมจริง platonic กระทบสถานะของทฤษฎีเซต axiomatic จากมุมมองของความสมจริง platonic วัตถุทางคณิตศาสตร์ที่ให้เราสำเร็จ คุณลักษณะของพวกเขาและทั้งหมดของพวกเขาคุณสมบัติ เป็นไปตามที่ทฤษฎีบททางคณิตศาสตร์จะหมายถึงความจริงว่า มันแสดงความถูกต้องคำสั่งเกี่ยวกับวัตถุทางคณิตศาสตร์เกี่ยวข้อง (ตัวอย่าง ข้อเสนอ 2 + 2 = 4 ไม่เพียงเป็นคำในทางคณิตศาสตร์ provable ระบุถึงความจริงเกี่ยวกับตัวเลข) ตอนนี้คือถ้าเรายอมรับว่า วัตถุทางคณิตศาสตร์ที่ให้เรา มีคุณสมบัติทั้งหมดของพวกเขา มันดังต่อไป นี้ โดยเฉพาะว่าแนวคิดของชุดแนวคิดถาวร โดยที่เราไม่สามารถเปลี่ยนแปลงในของเราเองความสะดวกสบาย ดังนั้น "ชุด" สร้างด้วย Zermelo Neumann ฟอนไม่มีอยู่ และทฤษฎีที่purport การอธิบายเหล่านี้ไม่มีอยู่ข้อมูลเท็จ ในสรุป ถ้าเรายอมรับความเข้มงวดการตีความของ platonic สมจริง เราจะสามารถบังคับให้ปฏิเสธระบบ Zermelo และฟอนNeumann เป็น mathematically ไม่ถูกต้องโชคดี แนวโน้ม บางครั้งนี้ ได้ จาก platonism และเปรียบ เทียบมากขึ้นยืดหยุ่น มาก "agnostic" ทัศนคติต่อคณิตศาสตร์ "ต้อง" สำหรับสิ่งหนึ่ง การพัฒนาคณิตศาสตร์มีการสอดคล้องน้อยรูปแบบตามปรัชญา platonic สำหรับอื่น ความต้องการเชิงของ platonism — ที่ทุกวัตถุทางคณิตศาสตร์ที่สอดคล้องกับการวัตถุที่แน่นอน ความแตกต่างของสัญชาตญาณของเรา (เพียงเป็น "จุด" และ "เส้น" ที่อ้างอิงถึงวัตถุโดยของเราปริภูมิสัญชาตญาณ) — มาจะ เป็นภาระเกือบความงานของ mathematicians สร้างสรรค์โดยศตวรรษที่ผ่านมา มีการจัดการ ด้วยแนวคิดใหม่ (เช่นจำนวนเชิงซ้อนบทคัดย่อกฎหมายองค์ประกอบ และแนวคิดทั่วไปของฟังก์ชัน) ซึ่งไม่ได้ยืมตัวเองไปเป็นตีง่ายในคอนกรีต กรณีของจำนวนเชิงซ้อนเป็นภาพประกอบที่ดีของเกิดอะไรขึ้น คณิตศาสตร์คลาสสิกที่ไม่เคยรู้สึกใจชื้นกับจำนวนเชิงซ้อน มันขาดที่เหมาะสม "ตีความ" ของพวกเขา และมีผลถูกจู้จี้ข้อสงสัยต่อว่ากิจกรรมดังกล่าวจริง ๆ "อยู่" ตัวเลขจริงอาจจะตีความเป็นความยาว หรือปริมาณ แต่รากของการจำนวนจริงลบแบบนี้ไม่ได้ดูเหมือนจะตรงกับอะไร ในโลกจริง หรือสัญชาตญาณของเราของหมายเลข แต่ระบบของจำนวนเชิงซ้อนที่เกิดขึ้นในธรรมชาติมากที่สุดคือเป็นน้อยที่สุดระบบเลขที่ประกอบด้วยจำนวนจริง และมีรากของทุกสมการพีชคณิตกับสัมประสิทธิ์จริง จำนวนเชิงซ้อนหรือไม่มีทางกายภาพ หรือจิตใจกันดูเหมือนไม่เกี่ยวข้องกรณีของจำนวนเชิงซ้อนนัดไปพร้อม ๆ กับปัญหาของทฤษฎีเซต axiomatic สำหรับ"ชุด" สร้างด้วย Zermelo Neumann ฟอนเกิดขึ้นค่อนข้างธรรมชาติในบริบททางคณิตศาสตร์ พวกเขาให้แนวคิดที่ง่ายที่สุดของชุดซึ่งจะเพียงพอสำหรับคณิตศาสตร์ และทำให้การสอดคล้อง axiomaticทฤษฎีการ หรือไม่เราสามารถตีได้หมดอาจจะค่อนข้างสำคัญให้ว่ามันอาจ mathematicians มากในช่วง 1900 ได้หวงแหนทำให้ คมตัวแบ่งกับประเพณีเป็นทฤษฎีเซต axiomatic ดูเหมือนความต้องการ นอกจากนี้ พวกเขารู้สึก รองรับคลื่นความทฤษฎีทางคณิตศาสตร์ชุดควรอธิบายทุกสิ่ง — และสิ่งเหล่านั้นเท่านั้น — ที่ของเราสัญชาตญาณที่รู้จักเป็น ชุด ในหมู่พวกเขามีเบอร์ทรานด์รัสเซลล์ ในความพยายามของเขาให้กลับมาใช้งานง่ายทฤษฎีเซต รัสเซลล์ถูกนำไปสู่ความคิดที่เราอาจพิจารณาตั้งสั่งเป็นลำดับชั้น"ระดับ ที่ ถ้า A เป็นชุด และเป็นองค์ประกอบของ จากนั้นเป็น"หนึ่งระดับสูง"กว่าอ.ตัวอย่าง ในเครื่องบินทางเรขาคณิต วงกลม (ถือว่าเป็นชุดของจุด) คือ หนึ่งระดับล่างครอบครัวของวงกลม ที่ เปิด ในระดับหนึ่งด้านล่างชุดครอบครัวของวงได้ ความคิดพื้นฐานนี้ถูกสร้างขึ้นโดยรัสเซลล์เป็นทฤษฎีเรียกว่าทฤษฎีชนิด ซึ่งสามารถอธิบาย ในสาระสำคัญ เป็นดังนี้ทุกชุดมีหมายเลขธรรมชาติกำหนดให้ เรียกว่าระดับของ ชุดที่ง่ายที่สุด ที่ระดับ 0เรียกว่าบุคคลซึ่งไม่มีองค์ประกอบด้วย คอลเลกชันของบุคคลที่เป็นชุดของระดับ 1 มีคอลเลกชันชุดของระดับ 1 เป็นระดับ 2 ชุด และอื่น ๆ ในทฤษฎีของชนิดของนิพจน์ a ∈ Bมีความหมายถ้า สำหรับ n บางหมายเลข เป็นชุดของระดับ n และ B คือ ชุดของระดับ n + 1 เป็นไปตามที่งบ x ∈ x มีความหมายไม่มีในทฤษฎี ของชนิด และ เป็น ผล ปฏิทรรศน์ของรัสเซิลล์หายไปสำหรับเหตุผลอย่างที่ว่า มันไม่สามารถแม้แต่จะถูกกำหนด

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

สมจริงสงบจะมีผลต่อสถานะของจริงทฤษฎีเซต? จากมุมมองของ
ความเป็นธรรมชาติสงบวัตถุทางคณิตศาสตร์ที่มีให้กับเราพร้อมทำที่มีคุณสมบัติทั้งหมดของพวกเขาและพวกเขาทั้งหมด
คุณสมบัติ มันตามที่จะบอกว่าทฤษฎีบทคณิตศาสตร์เป็นความจริงหมายความว่ามันเป็นการแสดงออกถึงความถูกต้อง
คำสั่งเกี่ยวกับวัตถุทางคณิตศาสตร์ที่เกี่ยวข้อง (ยกตัวอย่างเช่นเรื่องที่ 2 + 2 = 4 ไม่ได้เป็น
เพียงคำสั่งอย่างเป็นทางการสามารถพิสูจน์ได้ในการคำนวณ. ระบุความเป็นจริงเกี่ยวกับตัวเลข) ตอนนี้ถ้า
เรายอมรับว่าวัตถุทางคณิตศาสตร์ที่มีให้กับเราด้วยคุณสมบัติทั้งหมดของพวกเขาก็ดังต่อไปนี้ โดยเฉพาะอย่างยิ่ง
ที่ความคิดของชุดจะได้รับการแก้ไขที่ดีที่กำหนดแนวความคิดที่เราไม่ได้ฟรีที่จะปรับเปลี่ยนของเราเองสำหรับ
ความสะดวกสบาย ดังนั้น "ชุด" สร้างขึ้นโดย Zermelo และ von Neumann ไม่อยู่และทฤษฎีบทซึ่ง
ตั้งใจที่จะอธิบายไม่มีวัตถุเหล่านี้เป็นเท็จ! สรุปได้ว่าถ้าเราจะยอมรับการเข้มงวด
การตีความของความสมจริงสงบเราจะถูกบังคับให้ปฏิเสธระบบ Zermelo และฟอน
นอยมันน์เป็นไม่ถูกต้องทางคณิตศาสตร์.
โชคดี, แนวโน้มสำหรับเวลาในขณะนี้บางส่วนได้รับออกไปจาก platonism และต่อ อื่น ๆ อีกมากมาย
ที่มีความยืดหยุ่นมากขึ้นทัศนคติ "ไม่เชื่อเรื่องพระเจ้า" ไปทางคณิตศาสตร์ "ความจริง". สำหรับสิ่งหนึ่งที่การพัฒนาใน
วิชาคณิตศาสตร์ได้รับสอดคล้องน้อยลงและน้อยกับรูปแบบการกำหนดโดยปรัชญาสงบ สำหรับ
อีกหนึ่งความต้องการสำคัญของ platonism ที่ทุกวัตถุทางคณิตศาสตร์ที่สอดคล้องกับ
ที่แน่นอนของวัตถุที่แตกต่างของสัญชาตญาณของเรา (เช่นเดียวกับ "จุด" และ "สาย" หมายถึงวัตถุที่ดีที่กำหนดของเรา
ปรีชาเชิงพื้นที่) -came จะเป็นเกือบ ภาระเหลือทนในการทำงานของนักคณิตศาสตร์สร้างสรรค์
โดยศตวรรษที่สิบเก้า พวกเขาได้รับการติดต่อกับโฮสต์ของแนวคิดใหม่ (เช่นตัวเลขที่ซับซ้อน
กฎหมายนามธรรมขององค์ประกอบและความคิดทั่วไปของฟังก์ชั่น) ซึ่งไม่ได้ยืมตัวให้
ตีความง่ายในแง่ที่เป็นรูปธรรม กรณีของตัวเลขที่ซับซ้อนเป็นภาพที่ดีของ
สิ่งที่เกิดขึ้น คณิตศาสตร์คลาสสิกไม่เคยรู้สึกสบายใจกับตัวเลขที่ซับซ้อนสำหรับมันขาด
ความเหมาะสม "ตีความ" ของพวกเขาและเป็นผลให้มีข้อสงสัยจู้จี้เป็นไปได้ว่าสิ่งนั้น
จริงๆ "อยู่." ตัวเลขจริงอาจตีความได้ว่ายาวหรือปริมาณ แต่รากที่สองของ
จำนวนนี้จริงเชิงลบไม่ได้ดูเหมือนจะสอดคล้องกับสิ่งที่อยู่ในโลกแห่งความจริงหรือในสัญชาตญาณของเรา
จำนวน แต่ระบบการทำงานของตัวเลขที่ซับซ้อนที่เกิดขึ้นในทางที่เป็นธรรมชาติมากที่สุดเล็กที่สุด
ระบบตัวเลขที่มีตัวเลขจริงและรวมถึงรากของทุกสมการพีชคณิต
ที่มีสัมประสิทธิ์จริง หรือไม่ว่าจะมีตัวเลขที่ซับซ้อนทางร่างกายหรือจิตใจ
คู่ดูเหมือนไม่เกี่ยวข้อง.
กรณีของตัวเลขที่ซับซ้อนนัดขนานกับปัญหาของจริงทฤษฎีเซต สำหรับ
"ชุด" สร้างขึ้นโดย Zermelo และ von Neumann เกิดขึ้นค่อนข้างเป็นธรรมชาติในบริบททางคณิตศาสตร์ พวกเขา
ทำให้เรามีความคิดที่ง่ายที่สุดของชุดซึ่งเป็นที่เพียงพอสำหรับการคณิตศาสตร์และอัตราผลตอบแทนจริงที่สอดคล้อง
ทฤษฎี หรือไม่เราสามารถแปลความหมายได้อย่างสังหรณ์ใจอาจจะไม่สำคัญค่อนข้าง.
เป็นไปได้ว่ามันอาจคณิตศาสตร์จำนวนมากในช่วงต้นปี 1900 ไม่เต็มใจที่จะให้ความคมชัดเพื่อแบ่ง
กับประเพณีเป็นจริงทฤษฎีเซตดูเหมือนจะเรียกร้อง นอกจากนี้พวกเขารู้สึกว่าในบริเวณงาม
ที่ทฤษฎีทางคณิตศาสตร์ของชุดควรจะอธิบายสิ่งและทุกสิ่งเท่านั้นซึ่งผู้ที่เรา
ตระหนักถึงสัญชาตญาณที่จะเป็นชุด ในหมู่พวกเขาเป็นเบอร์ทรานด์รัสเซล; ในความพยายามของเขาที่จะกลับไปใช้งานง่าย
ตั้งทฤษฎี, รัสเซลนำไปสู่ความคิดที่ว่าเราอาจจะพิจารณาชุดที่จะสั่งซื้อในลำดับชั้นของ
"ระดับ" ที่ถ้าและเป็นชุดและเป็นองค์ประกอบของแล้วคือ "หนึ่งระดับ ที่สูงขึ้น "กว่า A.
ตัวอย่างเช่นในรูปทรงเรขาคณิตเครื่องบินวงกลม (ถือได้ว่าเป็นชุดของจุด) เป็นระดับที่ต่ำกว่าครอบครัวของ
วงการซึ่งในที่สุดก็เป็นระดับที่ต่ำกว่าชุดของครอบครัวของวงการ ความคิดพื้นฐานนี้ถูกสร้างขึ้นโดย
รัสเซลเข้าไปในทฤษฎีที่เรียกว่าทฤษฎีของชนิดซึ่งสามารถอธิบายได้ในสาระสำคัญดังต่อไปนี้.
ชุดทุกคนมีจำนวนธรรมชาติกำหนดให้มันเรียกว่าระดับ ชุดง่ายผู้ที่ระดับ 0,
จะเรียกว่าบุคคลที่พวกเขาไม่ได้มีองค์ประกอบ คอลเลกชันของบุคคลที่เป็นชุดของระดับที่ 1;
คอลเลกชันของชุดระดับที่ 1 คือชุดของระดับ 2; เป็นต้น ในทางทฤษฎีประเภทแสดงออก∈ B
เป็นเพียงความหมายถ้าจำนวน n บางคือชุดของระดับ n และ B เป็นชุดของระดับ n + 1 ต่อไป
ว่าคำสั่ง x ∈ x ไม่มีความหมายใน ทฤษฎีของชนิดและเป็นผลให้ความขัดแย้งของรัสเซล
หายไปด้วยเหตุผลง่ายๆว่ามันจะไม่ได้ถูกกำหนด

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

บิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตหัวหน้าคณะกรรมาธิการยุโรป ฌอง โคลด เกอร์ , ได้กล่าวว่าเขารู้สึก " ทรยศ " โดย " ความทะนงตัว " แสดงโดยในการเจรจาหนี้กรีซล้มเหลว

เขาบอกข่าวประชุมว่าข้อเสนอกรีกมี " ล่าช้า " หรือ " จงใจเปลี่ยน " คน " กรีกควรพูดความจริง " แต่ประตูยังเปิดให้พูดคุย

กรีซได้เรียกเซอร์ไพรส์กรีกประชามติ และธนาคารจะปิด

สำหรับสัปดาห์