61. VEDA Roky 1895 a 1897 jsou pro teorii množin významné ješte kvuli jinému duvodu.V roce 1897 cesare buraliforti publikoval první paradox teorie množin. http://pes.internet.cz/veda/clanky/2089_0_0_0.html

NEVIDITELNÝ PES EUROPE'S ZVÍØETNÍK BYDLENÍ ... SWNET Pátek 2.6.2000 Svátek má Jarmil Vše rozbalit Celé sbalit Archiv vydání Nadpis Autor Text èlánku K DISKUSI: Další reakce na "Kruáky" Zajímavý názor od Aleše Vyhnala Zpráva pro tisk 6. valné shromáždìní Uèené spoleènosti Ve dnech 15. a 16. kvìtna 2000 se v Praze uskuteènilo 6. valné shromáždìní Uèené spoleènosti ÈR za úèasti 42 øádných a 3 èestných èlenù. VÌDA KONTRA IRACIONALITA /cyklus pøednášek Sisyfa/ se naposledy na jaøe koná ve ctvrtek 18. kvetna 2000 v 17 hodin v budove Akademie ved CR, Narodni 3, Praha 1, sal 206 - Pred zahajenim obvyklych prednasek se uskutecni tolik ocekavane slavnostni predavani BLUDNYCH BALVANU Sisyfa za rok 1999 - presne v 17 h. CZ BIOM - Èeské sdružení pro biomasu Vás srdeènì zve na semináø Biomasa pro obecní kotelny o možnostech ekonomického a ekologického vytápìní v obci Svatoslav okres Tøebíè, který se koná dne 18.5.2000 v obci Svatoslav, v zasedací síni Obecního úøadu, v centru obce Besedy projektu Záøe Konají se každou lichou støedu (tj. jednou za 14 dní) od 16.30 hod v salonku restaurace Airclubu (ulice K letišti 934, Praha 6). Besedy jsou vždy vedeny na nìjaké téma se vztahem k ufologii. Na zaèátku každé besedy provádí krátké shrnutí problematiky nìkdo z èlenù projektu Záøe, poté následuje volná beseda k tématu. Úèast na tìchto akcích je volná.

62. Practical Foundations Of Mathematics two are equivalent for sets (Exercise 6.42); the last is usually called Kuratowskifiniteness, but cesare burali-forti was actually the first to formulate it. http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/html/s66.html

Practical Foundations of Mathematics Paul Taylor Finiteness It probably comes as something of a surprise that we have got this far through a book on foundations of mathematics - especially a book which stresses constructivity - without discussing finiteness. Emphasis on finite enumeration was a reaction to the excesses of classical set theory, and clearly any set which is given by picking its elements must be finite in order to be represented in a machine. The reason why we have played down finiteness is that mathematical and computational objects are normally handled according to their structure , with no need for explicit enumeration. Besides, enumerative processes are very slow: one does not have to go to a very high order of functions over a two-element base type to exhaust the memory of a computer, or indeed of the Universe. We can nevertheless handle higher order functions very easily with the l -calculus, and prove certain properties of all numbers by induction without examining each one.

63. Practical Foundations Of Mathematics seen this for wff systems in Remark 6.2.10.) However, cesare burali-forti (1897)showed that the whole system is a proper class it cannot be an individual. http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/html/s67.html

Practical Foundations of Mathematics Paul Taylor The Ordinals The ordinals admit a peculiar kind of arithmetic, into which it is often possible to make a crude translation of syntax. This provides a simple but powerful way of finding loop measures and so justifying termination or induction principles. n n N of accumulation points and so on. Then in 1870 he realised that the set n , ... could be defined. We might picture , now called w , as a diminishing sequence of matchsticks: w w w w w w w w w w w w Although Cantor had developed ordinal arithmetic in 1880, only in 1899 did he formulate a correct definition [ ], that an ordinal is an ordered set in which every non-empty subset has a least member: ``there's a first time for everything.'' In other words, a trichotomous (Definition ) well founded relation (Proposition The easiest way to tell these countable infinities apart is to work backwards, ie find out what descending sub-sequences there are. Every such sub-sequence must eventually stop: that's well-foundedness (Proposition ). In the longer ones, there is more opportunity to dawdle down, but from time to time we must leap from the heights of a limit ordinal, landing somewhere that is infinitely far below.

64. Mathematic Historic Style % % This File Is Based On A Table Of footnote{{\sc Viktor Bunyakovsky}, \born 1804, \died 1889} } \newcommand{\BuraliForti}{{\scburaliforti}\footnote{{\sc cesare burali-forti}, \born 1861, \died http://www.tug.org/tex-archive/macros/latex/contrib/mhs/mhs.sty

65. Biography-center - Letter F Forsythe, John johnforsythe.tripod.com/biography.htm; Forti, cesare Buraliwww-history.mcs.st-and.ac.uk/~history/Mathematicians/burali-forti.html; http://www.biography-center.com/f.html

Visit a random biography ! Any language Arabic Bulgarian Catalan Chinese (Simplified) Chinese (Traditional) Croatian Czech Danish Dutch English Estonian Finnish French German Greek Hebrew Hungarian Icelandic Indonesian Italian Japanese Korean Latvian Lithuanian Norwegian Polish Portuguese Romanian Russian Serbian Slovak Slovenian Spanish Swedish Turkish F 450 biographies www-history.mcs.st-and.ac.uk/~history/Mathematicians/Faa_di_Bruno.html Faber, Knud Helge www.whonamedit.com/doctor.cfm/464.html Fabi, Corrado www.grandprix.com/gpe/drv-fabcor.html Fabi, Teo www.grandprix.com/gpe/drv-fabteo.html Fabian (Crockaert), Lara www.askmen.com/women/singer/44_lara_fabian.html Fabian (Crockaert), Lara membres.lycos.fr/larafabian1/lara.html Fabray, Nanette www.wic.org/bio/nfabray.htm Fabre, François-Xavier www.getty.edu/art/collections/bio/a621-1.html www-history.mcs.st-and.ac.uk/~history/Mathematicians/Fabri.html Fabriano, Gentile da www.ibiblio.org/wm/paint/auth/gentile/ Fabricius, Cared www.kfki.hu/~arthp/bio/f/fabritiu/biograph.html Fabry, Johannes www.whonamedit.com/doctor.cfm/467.html Faggin, Federico

66. Rakarinn í Þorlákshöfn Rakar Alla Sem Raka Sig Ekki Sjálfir. Rakar Hann Sj� Í því sambandi eru gjarnan nefndir þeir cesare buraliforti (1861-1931),David Hilbert (1862-1943) og Ernst Zermelo (1871-1953). http://visindavefur.hi.is/svar.asp?id=1655

67. •ªÍ“NŠwƒŠƒ“ƒNW Project .; Bernard Bolzano; George Boole;Luitzen EJ Brouwer; cesare buraliforti; Gerog Cantor; Alonzo Church; http://phil.flet.mita.keio.ac.jp/person/sagisawa/analyticphil_link.htm

•ªÍ“NŠwƒŠƒ“ƒNW •ªÍ“NŠwC‚¨‚æ‚Ñ‚»‚ÌŠÖ˜A•ª–ì‚ÉŠÖ‚·‚éƒy[ƒW‚ðW‚ß‚Ä‚Ý‚Ü‚µ‚½D Œq‚ª‚ç‚È‚­‚È‚Á‚Ä‚¢‚郊ƒ“ƒN‚ª‚ ‚è‚Ü‚µ‚½‚çCŠÇ—ŽÒ ëàV ‚Ü‚Å‚¨•ñ‚¹‚­‚¾‚³‚¢D 2003/11/20 F ŠCŠO‚ÌŒ¤‹†ŽÒ B C G H ... N ‚ɃŠƒ“ƒN‚ð’ljÁD 2003/07/14 F ŒŸõƒGƒ“ƒWƒ“C•¶Œ£î•ñC“NŠwŽ–“T ‚ɃŠƒ“ƒN‚ð’ljÁD ‚ɃŠƒ“ƒN‚ð’ljÁD “NŠwE˜_—ŠwŽGŽ ‚ɃŠƒ“ƒN‚ð’ljÁD ŠCŠO‚ÌŒ¤‹†ŽÒ B D F G ... S ‚ɃŠƒ“ƒN‚ð’ljÁD 2003/03/30 F “NŠwE˜_—ŠwŽGŽ ‚ɃŠƒ“ƒN‚ð’ljÁD ŠCŠO‚ÌŒ¤‹†ŽÒ D S ‚ɃŠƒ“ƒN‚ð’ljÁD ‚ɃŠƒ“ƒN‚ð’ljÁD 2003/02/05 F “NŠwE˜_—ŠwŽGŽ ‚ɃŠƒ“ƒN‚ð’ljÁD ŠCŠO‚ÌŒ¤‹†ŽÒ B F G H ... W ‚ɃŠƒ“ƒN‚ð’ljÁD 2003/01/18 F “NŠwE˜_—ŠwŽGŽ ‚ɃŠƒ“ƒN‚ð’ljÁD ŠCŠO‚ÌŒ¤‹†ŽÒ C G L M ... W ‚ɃŠƒ“ƒN‚ð’ljÁD “NŠwE˜_—ŠwŠÖŒW‚̃Šƒ“ƒNW ŒŸõƒGƒ“ƒWƒ“C•¶Œ£î•ñC“NŠwŽ«“T “NŠwE˜_—ŠwŽGŽ Šw‰ïCŒ¤‹†‘gD ... ˜_—ŠwŽÒ ŠCŠO‚ÌŒ¤‹†ŽÒ A B C D ... ‘“XEo”ÅŽÐ “NŠwE˜_—ŠwŠÖŒW‚̃Šƒ“ƒNW top Guide to Philosophy on the Internet F‚¨‚»‚ç‚­¢ŠEÅ‘å‚̃Šƒ“ƒNWD Philosophy in Cyberspace FƒfƒUƒCƒ“‚Ì”ü‚µ‚¢ƒŠƒ“ƒNWD‚½‚¾‚µCd‚¢D F“NŠwŒnƒŠƒ“ƒNW‚̍ŌŽQD Blackwell Philosophy Resource Center FƒCƒMƒŠƒX‚̏o”ÅŽÐ Blackwell ‚ª’ñ‹Ÿ‚·‚郊ƒ“ƒNWD‹É‚߂ď[ŽÀD “NŠwî•ñƒZƒ“ƒ^[ FŒ¤‹†ŽÒî•ñ“™D Directory of Philosophers FŒ¤‹†ŽÒŒÂl‚̃EƒFƒuEƒTƒCƒg‚ւ̃Šƒ“ƒNWD Semantics, Pragmatics, etc. on the Web

68. USP/SIBi - IME Completo, 2, 0311017, Peano, Giuseppe, Logicamathematica. 19. Completo,3, 0311012, burali-forti, cesare, 1861-, Logica matematica. 1919. http://sibicce.usp.br:4500/ALEPH/POR/IME/IME/MONOIME/FIND-ACC/0000167

Formato resumido de 7 registros - IME Para visualizar o formato completo de um registro, "clicar" sobre o item. Este link esta em fase de implantação para melhor servi-lo Poincaré, Henri 1854-1912 La science et l'hypothèse [n.d.] Poincaré, Henri 1854-1912 Science et méthode Mach, Ernst 1838-1916 La connaissance et l'erreur; Bouty, Edmond Marie Léopold 1846-1922 La verité scientifique Le Bon, Gustave 1841-1931 L'évolution de la matière Poincaré, Henri 1854-1912 Dernières pensées Lecornu, L. 1854- (Léon François Alfred) La mécanique, les idées et les faits

69. 21 Janvier - Wikipédia cesare burali-forti, mathématicienitalien; 1946 Harry Bateman, mathématicien anglais; 1950 George http://fr.wikipedia.org/wiki/21_janvier

70. Ferrater Mora: Diccionario De Filosofía: Cuadro Cronológico Jevons, William Stanley (18351882) Lombroso, cesare (1835-1909) Blondel, Maurice (1861-1949) Burali Forti, cesare (1861-1931) http://www.ferratermora.com/ency_prologo_qz_cu-cron.html

document.write(secondIm) The Encyclopedist Previous: Pres. por Priscilla Cohn (1994) Next: 1) Los nombres de autores desde Tales de Mileto ( ca. fl. ca. ca. circa ] o 'cerca', 'hacia', 'alrededor de', 'aproximadamente'), se ha considerado como si fuera segura. 'fl.' floruit floruit. Antes de J.C. Siete Sabios Tales de Mileto ( ca. Anaximandro ( ca. ca. ca. fl. fl. siglo VI) ca. ca. fl. Hipodamo de Mileto (fl. ca. ca. ca. ca. Leucipo ( fl. fl. ca. Cratilo (siglo V) Hippias (siglo V) fl. fl. Meliso ( fl. Filolao ( fl. fines siglo V) Euclides de Megara ( ca. ca. Arquelao ( fl. ca. ca. ca. fl. ca. Euclides de Alejandria (fl. 365) Jenofonte ( ca. ca. Eudoxo de Cnido ( ca. Mo-Tse ( ca. ca. Espeusipo ( ca. ca. fl. ca. fl. Arquitas (siglo IV) Yang-Chu (siglo IV) Teofrasto ( ca. Mencio ( ca. Chuang-Tse ( ca. ca. Aristoxeno (nac. ca. Onesicrito (gl. 330) Crates de Tebas ( fl. fl. Demetrio de Falera ( ca. Epicuro ( ca. Clearco (nac. 340) Creantor (340-290) Menedemo de Eretria ( ca. ca. ca. ca. Cleantes (331/330-233/232 o 232/231) ca. ca. fl. ca. Evemero ( fl. ca. ca. Arcesilao ( ca.

71. Food For Thought: Biographies Biographical dictionary d.238. Balbo, cesare (Conte di Vinadio) (Italian politician, writer 16531729. Baronio, cesare (Italian ecclesiastical historian 1738-1801. Battisti, cesare (Italian journalist, patriot http://www.junkfoodforthought.com/bio/bio_B.htm

Baade, Wilhelm Heinrich Walter (German-born Am. astronomer) Baader, Franz Xaver von (German Roman Catholic philosopher) Baasha (or Baasa) (King of Israel c.900-877 BC) 9th cent. BC Baba Taher "'Oryan" (Persian poet) c.1000-1055? Babbage, Charles (English mathematician, inventor) Babbitt, Bruce Edward (American politician) b.1938 Babbitt, Irving (American scholar, educator) Babbitt, Isaac (American inventor) Babcock, Harold Delos (American astronomer) Babcock, Orville E. (American army officer) Babcock, Stephen Moulton (American agricultural chemist) Babel, Isaac Emmanuilovich (Russian writer) Babell, William (English organist, composer) c.1690-1723 Babes, Victor (Romanian physician, bacteriologist) Babeuf, Francois-Noel (pseud. Gracchus Babeuf) (Fr. agitator) Babic, Ljubomir (pen name Ksaver Sandor Djalski)(Croatian poet) Babinet, Jacques (French physicist) Babington, Anthony (English conspirator) Babinski, Joseph-Francois-Felix (French neurologist) Babits, Mihaly (Hungarian writer) Babo, Joseph Marius von (German dramatist) Babrius (Italian? writer of Greek fables)

72. Biografia Di Matematici a Torino il 21 gennaio 1931. Laureato a Pisa nel 1884, poco dopo http://matematica.uni-bocconi.it/storia/letterab/biogr-burali-forti.htm

Cesare BURALI-FORTI Il suo nome è associato a un celebre paradosso della teoria degli insiemi. "Fu uomo di animo mite e cordiale, la cui piacevole conversazione stranamente contrastava con l'irruenza polemica di certi suoi scritti, specie di quelli contro la teoria della relatività, di cui non capì mai l'importanza" (Tricomi). Necrologio : "Bollettino UMI", 10 (1931), pp. 182-185 (R. Marcolongo).

73. Burali-Forti http://www.geocities.com/Heartland/Plains/4142/burali-forti.html

74. La Matematica Italiana 1800-1950 Translate this page Carlo Somigliana, Vito Volterra, forse il massimo matematico italiano del periodo,Rodolfo Bettazzi, Luigi Berzolari, cesare Burali Forti e Mario Pieri, che http://www.math.unifi.it/matematicaitaliana/pannelli/VIII.html

La scuola pisana Direttori della Scuola dal 1862 al 1928 scuola pisana successivo precedente ... indice

75. Diccionario De Autores Translate this page BULTMANN, RUDOLF KARL (1884-1976). BUONAIUTI, ERNESTO (1881-1946). BURALI FORTI,cesare (1861-1931). BURKE, EDMUND (1729-1797). BUTLER, JOSEPH (1692-1752). http://cibernous.com/colabora/comunes/diccionario.htm

DICCIONARIO DE AUTORES A B C D ... Z A AALL, ANATHON ABBAGNANO, NICOLA (nac. 1901) ABBT, THOMA ABELARDO (PEDRO) ABENALARIF ABENALSID ABENARABI ABENHAZAM ABENMASARRA ABENTOFAIL ABU SALT ACHILLUNI, ALESSANDRO ACKERMANN, WILHELM ACONCIO, GIACOMO [ACONZIO, CONCIO; ACONTIUS, JACOBUS] entre 1492-1520-ca. 1568 ADAMSON, ROBERT (fallecido 1181) ADELARDO DE BATH (fl. 1100) ADICKES, ERICH ADLER, ALFRED ADLER, MAX ADORNO, THEODOR W[IESENGRUND] AECIO fl. ca. 150 AGRIPPA DE NETTESHEIM, HEINRICH CORNELIUS [HENRICUS CORNELIUS] AHRENS, HEINRICH AJDUKIEWICZ, KAZIMIERZ ALANO DE LILLE (ca. 1128-1202) ALBERINI, CORIANO ALBERT, HANS (nac. 1921) ALBERTO (SAN) ALBINO fl. 180 ALBO, JOSEF [YOSEF] ca. 1380-ca. 1444 ALEJANDRO DE AFRODISIA ALEJANDRO DE HALES (ca. 1185-1245) fl. ca. 300 ALEMBERT, JEAN LE ROND D' ALEXANDER, SAMUEL ALFARABI ALGAZELLI (ALGAZEL) ALIOTTA, ANTONIO ALKINDI ALONSO DE LA VERACRUZ (nac. 1906) ALTHUSSER, LOUIS (nac. 1918) (fallecido 1206/7) AMBROSIO (SAN) ca. 340-397 AMELIO fl. 240 AMMNOIO HERMEIOU [AMMNONIO DE HERMIA] fl. 530

76. Absolute Infinite Definition Meaning Information Explanation The buraliforti paradox. This seems paradoxical, and is closely relatedCesare burali-forti s that there can be no greatest ordinal number. http://www.free-definition.com/Absolute-Infinite.html

A B C D ... Contact Beta 0.71 powered by: akademie.de PHP PostgreSQL Google News about your search term Absolute Infinite The Absolute Infinite is Georg Cantor 's concept of an " infinity " that transcended the transfinite number s. Cantor equated the Absolute Infinite with God . He held that the Absolute Infinite had various mathematical properties, including that every property of the Absolute Infinite is also held by some smaller object. Inhaltsverzeichnis 1 Cantor's view 2 The Burali-Forti paradox 3 Endnotes 4 References ... 6 External links Cantor's view Cantor is quoted as saying: The actual infinite arises in three contexts: first when it is realized in the most complete form, in a fully independent otherworldly being, in Deo , where I call it the Absolute Infinite or simply Absolute; second when it occurs in the contingent, created world; third when the mind grasps it in abstracto as a mathematical magnitude, number or order type. [2] Cantor also mentioned the idea in his famous letter to Richard Dedekind 28 July A multiplicity is called well-ordered if it fulfills the condition that every sub-multiplicity has a first element ; such a multiplicity I call for short a sequence. Now I envisage the system of all numbers and denote it

77. Re: Cantor Questions By John Conway and then quoted The historically first paradox was discovered in 1897 byCesare buraliforti (1861-1931) in Cantor s theory of ordinal numbers http://mathforum.org/epigone/math-history-list/zonsnekhi/Pine.SUN.3.91.981031164

Re: Cantor Questions by John Conway reply to this message post a message on a new topic Back to messages on this topic Back to math-history-list Subject: Re: Cantor Questions Author: conway@math.Princeton.EDU Date: The Math Forum

78. Arezzo - Biblioteca - Bibliografia Aretina - Sezione XI - B Translate this page BURALI FORTI, cesare - Matematico (Arezzo 1861 - Torino 1931). Ha insegnato(dal 1903) alla R. Accad. d’Artiglieria e Genio di Torino. http://www.unisi.it/bla/Sezione11B.html

Biblioteca centrale Sezione XI Bibliografia aretina . Roberto G. Salvadori B BACCELLINI, MATTEO BIBL.: LETTERATURA: D.B.I. , V, 16. [BACCI] - Importante famiglia nobiliare aretina. BIBL.: Gian Gualberto GORETTI MINIATI, Alcuni ricordi della famiglia Bacci , in AMAP, VIII, n.s. (1930), pp. 92-103. BACCI, GIACOMO PIETRO BIBL.: OPERE: Vita di S. Filippo Neri , prima ed.: Firenze, Tip. Galileiana 1851, pp. XXI, 500 [B: Conv 1373]; nuova ed.: Pisa, L. Ungher 1874, pp. XXI, 470 [B: BF MM 65] LETTERATURA: D.B.I. , V, 30-31 (Nello Vian). BALDACCHINI, FILIPPO - Letterato (Cortona 1480? - m. ivi 1530 c.). BIBL.: OPERE: Prothocinio di Messer Phil. Baldachino Coritano , In Perusia, per Baldassarre de Francesco Cartolaio 1525, pp. 190 [B: XX 104]; Dyalogo de patientia , In Perosia, per Baldassarre de Francesco Cartolaio 1525, pp. 18 [B: XX 104]; Fortuna , Perusia, in le case de Baldasarre Cartulari 1526, cc. 56 [B: XX 104] LETTERATURA: D.B.I. , V, 434 BIBL.: LETTERATURA: D.B.I. , V, 438; Manfredo VANNINI, , Milano, Rebeschini e C. 1891, pp. 15 [B: BF Opus 671]; Romualdo CARDARELLI, , Roma, Leonardo da Vinci 1922, pp. XVIII, 149 [B: BF NN 508]; Danilo SECCHIONI

79. Ferrater Mora: Diccionario De Filosofía: Cuadro Cronológico Translate this page Frederick (1860-1944) Wille, Bruno (1860-1928) Baldwin, James Mark (1861-1934) Blondel,Maurice (1861-1949) Burali Forti, cesare (1861-1931) Duhem, Pierre (1861 http://www.ferratermora.org/ency_prologo_qz_cu-cron.html

document.write(secondIm) The Encyclopedist Previous: Pres. por Priscilla Cohn (1994) Next: 1) Los nombres de autores desde Tales de Mileto ( ca. fl. ca. ca. circa ] o 'cerca', 'hacia', 'alrededor de', 'aproximadamente'), se ha considerado como si fuera segura. 'fl.' floruit floruit. Antes de J.C. Siete Sabios Tales de Mileto ( ca. Anaximandro ( ca. ca. ca. fl. fl. siglo VI) ca. ca. fl. Hipodamo de Mileto (fl. ca. ca. ca. ca. Leucipo ( fl. fl. ca. Cratilo (siglo V) Hippias (siglo V) fl. fl. Meliso ( fl. Filolao ( fl. fines siglo V) Euclides de Megara ( ca. ca. Arquelao ( fl. ca. ca. ca. fl. ca. Euclides de Alejandria (fl. 365) Jenofonte ( ca. ca. Eudoxo de Cnido ( ca. Mo-Tse ( ca. ca. Espeusipo ( ca. ca. fl. ca. fl. Arquitas (siglo IV) Yang-Chu (siglo IV) Teofrasto ( ca. Mencio ( ca. Chuang-Tse ( ca. ca. Aristoxeno (nac. ca. Onesicrito (gl. 330) Crates de Tebas ( fl. fl. Demetrio de Falera ( ca. Epicuro ( ca. Clearco (nac. 340) Creantor (340-290) Menedemo de Eretria ( ca. ca. ca. ca. Cleantes (331/330-233/232 o 232/231) ca. ca. fl. ca. Evemero ( fl. ca. ca. Arcesilao ( ca.

80. Burali-Forti Paradox Frege s axiom system. The buraliforti paradox is named after Cesareburali-forti, who discovered it in 1897. burali-forti was an http://www.sciencedaily.com/encyclopedia/burali_forti_paradox

Match: sort by: relevance date Free Services Subscribe by email RSS newsfeeds PDA-friendly format loc="/images/" A A A Find Jobs In: Healthcare Engineering Accounting College Contract / Freelance Customer Service Diversity Engineering Executive Healthcare Hospitality Human Resources Information Tech International Manufacturing Nonprofit Retail All Jobs by Job Type All Jobs by Industry Relocating? Visit: Moving Resources Moving Companies Mortgage Information Mortgage Calculator Real Estate Lookup Front Page Today's Digest Week in Review Email Updates ... Outdoor Living Encyclopedia Main Page See live article Burali-Forti paradox The Burali-Forti paradox demonstrates that naïvely constructing "the set of all ordinal numbers " leads to a contradiction and therefore shows an antinomy in a system that allows its construction. The reason is that the set of all ordinal numbers carries all properties of an ordinal number and would have to be considered an ordinal number itself. Then, we can construct its successor , which is strictly greater than . However, this ordinal number must be element of since contains all ordinal numbers, and we arrive at Modern axiomatic set theory circumvents this antinomy by simply not allowing construction of sets with unrestricted comprehension terms like "all sets which have property ", as it was for example possible in

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 4     61-80 of 94    Back | 1  | 2  | 3  | 4  | 5  | Next 20