Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Abraham Fraenkel


Related Topics

In the News (Sat 5 Dec 09)

  
  Adolf Abraham Halevi Fraenkel - Wikipedia, the free encyclopedia
Fraenkel studied mathematics at the University of Munich, University of Berlin, University of Marburg and University of Breslau; after graduating, he lectured at the University of Marburg from 1916, and was promoted to professor in 1922.
Fraenkel was a fervent Zionist and as such was a member of Vaad Leumi, the executive committee of the Palestinian Jewish National Assembly under the British mandate.
Fraenkel is the father of Israeli excellence in set theory and foundational mathematics.
en.wikipedia.org /wiki/Adolf_Fraenkel   (434 words)

  
 Fraenkel
Abraham Fraenkel, in common with most students in Germany in his time, studied for periods at different universities.
Fraenkel was to spend the rest of his career at the Hebrew University, being appointed the first Dean of the Faculty of Mathematics, and serving as the rector of the university for a period.
Fraenkel was also interested in the history of mathematics and wrote a number of important works on the topic.
www.educ.fc.ul.pt /icm/icm2003/icm14/Fraenkel.htm   (402 words)

  
 Fraenkel biography
His system of axioms was modified by Skolem in 1922 to give what is today known as the ZFS system.
Within this system it is harder to prove the independence of the axiom of choice and this was not achieved until the work of Cohen in 1963.
A number of Fraenkel's students have made important contributions to mathematics including Robinson who succeeded him when he retired from his chair at the Hebrew University.
www-groups.dcs.st-and.ac.uk /~history/Biographies/Fraenkel.html   (456 words)

  
 Adolf Abraham Halevi Fraenkel   (Site not responding. Last check: 2007-10-25)
Adolph Abraham Halevi Fraenkel Fekete (1886-1957) from Budapest...
Fränkel, Fraenkel, (Abraham Adolf (1891-1965), German-Israeli mathematician; Albert Fränckel, Fraenckel.
Erfahren Sie mehr über Adolf Abraham Halevi Halevi) Fraenkel
adolfdenr.ewqaszty.info   (455 words)

  
 Brouwer and Fraenkel (abstract)   (Site not responding. Last check: 2007-10-25)
Abraham Fraenkel was one of the first non-partizan mathematicians to take a serious interest in intuitionism.
When Fraenkel published his book " Zehn Vorlesungen über die die Grundlegung der Mengenlehre" (1927), Brouwer was strongly critical of his presentation of the subject matter and of the historical facts.
The paper contains part of the correspondence between Fraenkel and Brouwer, in which Brouwer's views on a number of issues are spelled out.
www.phil.uu.nl /preprints/preprints/PREPRINTS/BaF.html   (200 words)

  
 set theory - Article and Reference from OnPedia.com
Zermelo set theory is the theory developed by the German mathematician Ernst Zermelo.
Zermelo-Fraenkel set theory is the most commonly used system of axioms, based on Zermelo set theory and further developed by Abraham Fraenkel and Thoralf Skolem.
Axiomatic set theory is a rigorous axiomatic theory developed in response to the discovery of serious flaws (such as Russell's Paradox) in nave set theory.
www.onpedia.com /encyclopedia/Set-theory   (235 words)

  
 Readings in Logic
With a historical introduction by Abraham A. Fraenkel.
The first part of this text, by Abraham Fraenkel, is valuable as a survey of the effort to deal with the inconsistencies that lurked in Cantor's formulation.
Fraenkel, Abraham A. Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre.
www.nfocentrale.net /orcmid/readings/logic.htm   (4287 words)

  
 [No title]
In 1922, Abraham Fraenkel and Thoralf Skolem independently proposed defining a "definite" property as any property that could be formulated in first-order logic.
An alternate version of the replacement scheme implies the comprehension scheme; this allows an axiomatization of ZFC with exactly one infinite axiom scheme.
Abraham Fraenkel, Yehoshua Bar-Hillel, and Levy, Azriel, 1973 (1958).
portable-apps.subiectiv.com /portable.php?title=Zermelo-Fraenkel_set_theory   (1332 words)

  
 How many real numbers are there?
The axioms generally accepted by the mathematical community were formulated by Ernst Zermelo and Abraham Fraenkel in the early twentieth century.
In 1936, Kurt Goedel stunned the mathematical world with his proof that the Zermelo-Franekel axioms were not sufficient to prove that the Continuum Hypothesis is false.
This principle was formulated by Goedel in the course of his proof that the Continuum Hypothesis could not be disproved using the Zermelo- Fraenkel axioms.
www.maa.org /devlin/devlin_6_01.html   (1345 words)

  
 Mathematics as a language
Peter Lax tells about the famous logician Abraham Fraenkel, of German origin and Israeli residence.
Once in Jerusalem or Tel Aviv he was on a bus scheduled to leave the station at 9A.m.
Fraenkel waved a bus schedule at the bus driver, who asked, "What are you, a German or a professor?" Fraenkel inquired in return, "Do you use the inclusive 'or' or the exclusive?"
www.cut-the-knot.org /language/hersh.shtml   (1782 words)

  
 Set Theory Encyclopedia Article @ Infinitely.org   (Site not responding. Last check: 2007-10-25)
Rough set theory provides a means of representing crisp sets by using lower and upper approximations
Zermelo-Fraenkel set theory is the most commonly used system of set-theoretic axioms, based on Zermelo set theory and further developed by Abraham Fraenkel and Thoralf Skolem.
Von Neumann–Bernays–Gödel set theory is an axiom system for set theory designed to yield the same results as Zermelo-Fraenkel set theory, together with the axiom of choice (ZFC), but with only a finite number of axioms, that is without axiom schemata.
www.infinitely.org /encyclopedia/Set_theory   (691 words)

  
 Russell's Paradox (Stanford Encyclopedia of Philosophy)
Zermelo's axioms were designed to resolve Russell's paradox by again restricting the Comprehension axiom in a manner not dissimilar to that proposed by Russell.
ZF and ZFC (i.e., ZF supplemented by the Axiom of Choice), the two axiomatizations generally used today, are modifications of Zermelo's theory developed primarily by Abraham Fraenkel.
Together, these four responses to Russell's paradox have helped logicians develop an explicit awareness of the nature of formal systems and of the kinds of metalogical and metamathematical results commonly associated with them today.
plato.stanford.edu /entries/russell-paradox   (1404 words)

  
 Amherst College: Courses in Mathematics   (Site not responding. Last check: 2007-10-25)
Most mathematicians consider set theory to be the foundation of mathematics, because everything that is studied in mathematics can be defined in terms of the concepts of set theory, and all the theorems of mathematics can be proven from the axioms of set theory.
This course will begin with the axiomatization of set theory that was developed by Ernst Zermelo and Abraham Fraenkel in the early part of the twentieth century.
We will then see how all of the number systems used in mathematics are defined in set theory, and how the fundamental properties of these number systems can be proven from the Zermelo-Fraenkel axioms.
www.cs.amherst.edu /courses/math_courses.html   (2545 words)

  
 [No title]
Recall that ZERMELO set theory (1908), which is essentially equivalent to the categorists' notion of ELEMENTARY TOPOS with natural numbers and the axiom of choice, is adequate for most of the purposes of mathematics, though not, as I shall try to explain, logic (and theoretical computer science).
ZERMELO-FRAENKEL set theory is the extension of this system by the axiom-scheme of REPLACEMENT, which was first formulated by Adolf (later Abraham) Fraenkel, Nels Lennes and Thoralf Skolem in 1922, although Dimitry Mirimanoff already had something of the idea in 1917.
Notice that this is some two decades after the appearance of the famous "antinomies" of set theory, so presumably the set theorists' guard had dropped by that time, and they had begun again to assert megalomaniac axioms.
www.mta.ca /~cat-dist/catlist/1999/zf-010499   (2571 words)

  
 Fraenkel   (Site not responding. Last check: 2007-10-25)
San Francisco Guardian - Fraenkel Gallery 49 Geary, 981-2661.
Specializing in photography exhibits and galleries spanning the history of the medium.
The Fraenkel lab has generated the first genome-wide map of the transcriptional Although protein coding regions can be identified with high confidence in
www.videocheese.com /Fraenkel.html   (229 words)

  
 The Factasia Glossary - Z   (Site not responding. Last check: 2007-10-25)
A language developed by Jean Raymond Abrial and others at the University of Oxford, broadly similar in strength and character to Zermelo set theory (though the etymology seems uncertain), but with a much richer syntax oriented to applications in the specification of software.
Zermelo-Fraenkel set theory, an axiomatisation of set theory consisting of Zermelo set theory (see above) strengthened with the axiom of replacement, due to Abraham Fraenkel, the effect of which is to ensure that any collection of sets which can be shown to be no greater in size than an existing set is itself a set.
Zermelo-Fraenkel set theory augmented by the axiom of choice.
www.rbjones.com /rbjpub/philos/glossary/z.htm   (197 words)

  
 ComputerBase - Lexikon: Zermelo-Fraenkel-Mengenlehre   (Site not responding. Last check: 2007-10-25)
Die Zermelo-Fraenkel-Mengenlehre ist eine verbreitete Axiomatisierung der Mengenlehre, die nach Ernst Zermelo und Abraham Fraenkel benannt ist.
Dieses von Fraenkel ergänzte Axiomenschema ist ein verallgemeinertes Aussonderungsaxiom.
Das Leermengenaxiom folgt aus dem Unendlichkeitsaxiom per Aussonderung (Fraenkel).
www.computerbase.de /lexikon/Zermelo-Fraenkel-Mengenlehre   (724 words)

  
 Computing Papers on Cantor   (Site not responding. Last check: 2007-10-25)
Bertrand Russell proved in a very simplistic way that the set of axioms was inconsistent.
Later on, Ernst Zermelo and Abraham Fraenkel introduced an axiomatic theory of sets that replaced Cantor s theory.
Based on the axiomatic approach, mathematicians were able to separate the issues of provability and truth.
computing.breinestorm.net /Cantor   (2773 words)

  
 epsilon and omega
Analyzing the intuition behind the notions set and element of, Ernst Zermelo and Abraham Fraenkel gave the following system of axioms describing the element relation and the existence of sets, without trying to define set.
The Axiom System ZFC (Zermelo Fraenkel, including Zermelo's axiom of Choice 'C')
Two sets are equal if and only if they have the same elements.
page.mi.fu-berlin.de /~deiser/wwwpublic/set.html   (1423 words)

  
 ernest fraenkel - ResearchIndex document query   (Site not responding. Last check: 2007-10-25)
Zermelo's Axiom of Separation was replaced by Fraenkel's Axiom Schema of Replacement, which implies the
However, there is a fundamental difference: Fraenkel's algorithm does not have an approximation bound
Another difference, is that Fraenkel's construction is based on a cannonical optimal
citeseer.ist.psu.edu /cis?q=Ernest+Fraenkel   (592 words)

  
 Find in a Library: Essays on the foundations of mathematics : dedicated to A.A. Fraenkel on his seventieth anniversary
Essays on the foundations of mathematics : dedicated to A.A. Fraenkel on his seventieth anniversary
by Abraham Adolf Fraenkel; Yehoshua Bar-Hillel; Universiṭah ha-ʻIvrit bi-Yerushalayim.
WorldCat is provided by OCLC Online Computer Library Center, Inc. on behalf of its member libraries.
www.worldcatlibraries.org /wcpa/ow/32cf15bdff86ddd8.html   (117 words)

  
 Publisher description for Library of Congress control number 90025812   (Site not responding. Last check: 2007-10-25)
Publisher description for Axiomatic set theory / Paul Bernays ; with a historical introduction by Abraham A. Fraenkel.
A monograph containing a historical introduction by A. Fraenkel to the original Zermelo-Fraenkel form of set-theoretic axiomatics, and Paul Bernays’ independent presentation of a formal system of axiomatic set theory.
No special knowledge of set thory and its axiomatics is required.
www.loc.gov /catdir/description/dover032/90025812.html   (116 words)

  
 Transactions of the American Mathematical Society
M. Goldstern, Tools for your forcing construction, Set theory of the reals (H. Judah, ed.), Proceedings of the Bar Ilan Conference in honour of Abraham Fraenkel 1991, pp.
O. Spinas, Cardinal invariants and quadratic forms, Set theory of the reals (H. Judah, ed.), Proceedings of the Bar Ilan Conference in honour of Abraham Fraenkel 1991, pp.
Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 11E04, 03E35, 12L99, 15A36
e-math.ams.org /tran/1996-348-10/S0002-9947-96-01658-3/home.html   (638 words)

  
 Abraham A. Fraenkel Books - Signed, used, new, out-of-print
Abraham A. Fraenkel Books - Signed, used, new, out-of-print
by Seymour Hayden, Ernst Zermelo, Abraham Adolf Fraenkel, John F. Kennison
Portions of book data provided by Muze Inc. Copyright 1995-2006 Muze Inc. For personal use only.
www.alibris.com /search/books/author/Abraham_A._Fraenkel   (110 words)

  
 MIRELS Family Tree   (Site not responding. Last check: 2007-10-25)
Eulogised by R Samuel ADMOR (Av Beit Din).
13 Feb. 1727) married Rabbi Jehuda Loeb FRAENKEL (d.
Contact: Jonas's nephew Nuchim FRAENKEL's grandson Michel JACOB
www.loebtree.com /bwm.html   (205 words)

  
 Yahoo! Groups : ddf Messages :Message 847 of 2243   (Site not responding. Last check: 2007-10-25)
I read Maths' at the Jerusalem University in the '50s.
One of my teachers was Abraham Fraenkel (the Set Theory
I switched to Physics (under Julio Racah),and later went to King's
ao.com.au /ddf/DDF_list/847.html   (131 words)

  
 RUSSELL, INFINITY, AND THE TRISTRAM SHANDY PARADOX   (Site not responding. Last check: 2007-10-25)
However, Aristotle's definition denotes a magnitude capable of being indefinitely divided or extended, not that the infinite would be achieved.
This example is cited in Abraham Fraenkel, Abstract Set Theory (Amsterdam: North-Holland Publishing Company, 1961), p.
See Bertrand Russell, The Principles of Mathematics, 2nd ed.
members.tripod.com /sguthrie/infinity.htm   (1766 words)

  
 Set Theory. Zermelo-Fraenkel Axioms. Russell's Paradox. Infinity. By K.Podnieks
set theory, axioms, Zermelo, Fraenkel, Frankel, infinity, Cantor, Frege, Russell, paradox, formal, axiomatic, Russell paradox, axiom, axiomatic set theory, comprehension, axiom of infinity, ZF, ZFC
For a general overview and set theory links, see Set Theory by Thomas Jech in Stanford Encyclopedia of Philosophy.
The objects are called the elements (members) of the set.'' (An English translation by Fraenkel, Bar-Hillel, Levy [1973]).
linas.org /mirrors/www.ltn.lv/2005.01.29/~podnieks/gt2.html   (8496 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.