Inhaltsverzeichnis
36 Beziehungen: Alfred Tarski, American Academy of Arts and Sciences, American Mathematical Monthly, American Mathematical Society, Association for Symbolic Logic, Berechenbarkeitstheorie, Beweistheorie, California Institute of Technology, ETH Zürich, Harvey Friedman (Mathematiker), Internationaler Mathematikerkongress, Jean van Heijenoort, John R. Steel, Jon Barwise, Julia Robinson, Kurt Gödel, Kurt Schütte, Massachusetts Institute of Technology, Mathematiker, Mathematische Logik, Mittag-Leffler-Institut, New York City, Nizza, Ordinalzahl, Paul Cohen (Mathematiker), Penelope Maddy, Philosophie der Mathematik, Rolf-Schock-Preis, Stanford (Kalifornien), Stanford University, Tarski Lectures, University of California, Berkeley, University of Oxford, 13. Dezember, 2016, 26. Juli.
Alfred Tarski
Berkeley Alfred Tarski bzw.
Sehen Solomon Feferman und Alfred Tarski
American Academy of Arts and Sciences
Die American Academy of Arts and Sciences (kurz American Academy) ist eine der ältesten und angesehensten Ehrengesellschaften der Vereinigten Staaten.
Sehen Solomon Feferman und American Academy of Arts and Sciences
American Mathematical Monthly
The American Mathematical Monthly ist eine mathematische Zeitschrift, die 1894 von Benjamin Finkel gegründet wurde.
Sehen Solomon Feferman und American Mathematical Monthly
American Mathematical Society
Logo der American Mathematical Society Die American Mathematical Society (AMS) ist eine Vereinigung der Mathematiker in den USA, vergleichbar mit der Deutschen Mathematiker-Vereinigung (DMV) in Deutschland.
Sehen Solomon Feferman und American Mathematical Society
Association for Symbolic Logic
Logo der ASL Die Association for Symbolic Logic (ASL) ist die größte internationale Organisation von Logikern (mathematische Logiker und Philosophen).
Sehen Solomon Feferman und Association for Symbolic Logic
Berechenbarkeitstheorie
Die Berechenbarkeitstheorie (auch Rekursionstheorie) ist ein Teilgebiet der theoretischen Informatik und der mathematischen Logik, die sich mit dem Begriff der Berechenbarkeit befasst, insbesondere damit, welche Probleme mit Hilfe einer Maschine (genauer: eines mathematischen Modells einer Maschine) oder eines anderen mathematischen Modells der Berechenbarkeit lösbar sind.
Sehen Solomon Feferman und Berechenbarkeitstheorie
Beweistheorie
Die Beweistheorie ist ein Teilgebiet der mathematischen Logik, das Beweise als formale mathematische Objekte behandelt, was deren Analyse mit mathematischen Techniken ermöglicht.
Sehen Solomon Feferman und Beweistheorie
California Institute of Technology
Beckman-Institut Beckman-Auditorium Caltech-Campus Millikan Library Das California Institute of Technology, besser bekannt als Caltech, ist eine private Spitzenuniversität in Pasadena im Los Angeles County, die auf Natur- und Ingenieurwissenschaften spezialisiert ist.
Sehen Solomon Feferman und California Institute of Technology
ETH Zürich
Hauptgebäude im Abendlicht mit der charakteristischen Kuppel von Gustav Gull Hauptgebäude der ETH Zürich, von der Polyterrasse aus gesehen und der Façade von Gottfried Semper Jüdischen Museums der Schweiz in Basel zeigt u. a. Albert Einstein beim 75. Jubiläum der ETH Ansicht des damaligen ETH- und Universitätsgebäudes um 1880, errichtet 1858–1864 durch Gottfried Semper, vor dem Beginn der Umbauten durch Gustav Gull 1915–1924 Die Eidgenössische Technische Hochschule Zürich, kurz ETH Zürich (EPFZ,, PF di Zurigo,, SPFT), ist eine technisch-naturwissenschaftliche universitäre Hochschule in Zürich.
Sehen Solomon Feferman und ETH Zürich
Harvey Friedman (Mathematiker)
Harvey Friedman (Mathematiker) Harvey Martin Friedman (* 23. September 1948 in Chicago, Illinois) ist ein US-amerikanischer Mathematiker und Philosoph, der sich mit mathematischer Logik und den Grundlagen der Mathematik beschäftigt.
Sehen Solomon Feferman und Harvey Friedman (Mathematiker)
Internationaler Mathematikerkongress
Der Internationale Mathematikerkongress (kurz ICM) ist der größte Kongress auf dem Gebiet der Mathematik.
Sehen Solomon Feferman und Internationaler Mathematikerkongress
Jean van Heijenoort
Jean Louis Maxime van Heijenoort (* 23. Juli 1912 in Creil; † 29. März 1986 in Mexiko-Stadt) war ein französischer mathematischer Logiker, bekannt für Arbeiten in der Geschichte der Logik, und Trotzkist.
Sehen Solomon Feferman und Jean van Heijenoort
John R. Steel
John R. Steel John R. Steel (* 30. Oktober 1948) ist ein US-amerikanischer mathematischer Logiker, der sich mit axiomatischer Mengenlehre beschäftigt.
Sehen Solomon Feferman und John R. Steel
Jon Barwise
Kenneth Jon Barwise (* 29. Juni 1942 in Independence (Missouri); † 5. März 2000 in Bloomington, Indiana) war ein US-amerikanischer Mathematiker und Philosoph, der sich mit mathematischer Logik beschäftigte.
Sehen Solomon Feferman und Jon Barwise
Julia Robinson
Julia Robinson 1975 Julia Hall Bowman Robinson, geboren als Julia Bowman, (* 8. Dezember 1919 in St. Louis, Missouri; † 30. Juli 1985 in Oakland, Kalifornien) war eine US-amerikanische Mathematikerin, die sich mit mathematischer Logik beschäftigte.
Sehen Solomon Feferman und Julia Robinson
Kurt Gödel
rahmenlos Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war ein österreichischer und später US-amerikanischer Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20.
Sehen Solomon Feferman und Kurt Gödel
Kurt Schütte
Kurt Schütte Kurt Schütte (* 14. Oktober 1909 in Salzwedel; † 18. August 1998 in München) war ein deutscher Mathematiker und Hochschullehrer.
Sehen Solomon Feferman und Kurt Schütte
Massachusetts Institute of Technology
Das Massachusetts Institute of Technology (MIT) ist eine Technische Hochschule und Universität in Cambridge im US-Bundesstaat Massachusetts.
Sehen Solomon Feferman und Massachusetts Institute of Technology
Mathematiker
Archimedes, einer der bekanntesten Mathematiker der Antike Leonhard Euler, einer der produktivsten Mathematiker der Neuzeit russische Mathematikerin, die 1884 an der Universität Stockholm die weltweit erste Professorin für Mathematik wurde Mathematiker beschäftigen sich mit der Bewahrung und Weiterentwicklung des Fachgebiets der Mathematik und mit der Anwendung der Erkenntnisse auf praktische Belange.
Sehen Solomon Feferman und Mathematiker
Mathematische Logik
Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik.
Sehen Solomon Feferman und Mathematische Logik
Mittag-Leffler-Institut
Das Mittag-Leffler-Institut der Königlich Schwedischen Akademie der Wissenschaften in Stockholm ist ein Forschungsinstitut für Mathematik.
Sehen Solomon Feferman und Mittag-Leffler-Institut
New York City
New York City (AE:, offiziell City of New York, kurz New York, Abkürzung NYC, deutsch veraltet Neuyork oder Newyork) ist eine Weltstadt an der Ostküste der Vereinigten Staaten.
Sehen Solomon Feferman und New York City
Nizza
Nizza (nissart Niça/Nissa) ist eine französische Großstadt mit Einwohnern an der Mittelmeerküste (Côte d’Azur) im Département Alpes-Maritimes in der Region Provence-Alpes-Côte d’Azur.
Sehen Solomon Feferman und Nizza
Ordinalzahl
Ordinalzahlen von 0 bis ωω Ordinalzahlen sind mathematische Objekte, die das Konzept der Position oder des Index eines Elementes in einer Folge auf Wohlordnungen über beliebigen Mengen verallgemeinern.
Sehen Solomon Feferman und Ordinalzahl
Paul Cohen (Mathematiker)
Paul Joseph Cohen (* 2. April 1934 in Long Branch, New Jersey, USA; † 23. März 2007 in Stanford, Kalifornien) war ein US-amerikanischer Logiker und Mathematiker.
Sehen Solomon Feferman und Paul Cohen (Mathematiker)
Penelope Maddy
Penelope Jo Maddy (* 4. Juli 1950 in Tulsa, Oklahoma) ist eine US-amerikanische Logikerin und Wissenschaftsphilosophin, die sich insbesondere mit Philosophie der Mathematik beschäftigt.
Sehen Solomon Feferman und Penelope Maddy
Philosophie der Mathematik
Die Philosophie der Mathematik ist ein Bereich der theoretischen Philosophie, der anstrebt, Voraussetzungen, Gegenstand, Methode und Natur der Mathematik zu verstehen und zu erklären.
Sehen Solomon Feferman und Philosophie der Mathematik
Rolf-Schock-Preis
Die Rolf-Schock-Preise wurden von 1993 bis 2005 alle zwei Jahre, seit 2008 alle drei Jahre und seit 2017 jedes Jahr von der Königlich Schwedischen Akademie der Künste, der Königlich Schwedischen Musikakademie und der Königlich Schwedischen Akademie der Wissenschaften in Stockholm an internationale Wissenschaftler und Künstler in den Bereichen Mathematik, Philosophie, Bildende Kunst und Musik verliehen.
Sehen Solomon Feferman und Rolf-Schock-Preis
Stanford (Kalifornien)
Stanford ist ein census-designated place (CDP) in der nordwestlichen Ecke des Santa Clara County im US-Bundesstaat Kalifornien und ist die Heimat der Stanford University.
Sehen Solomon Feferman und Stanford (Kalifornien)
Stanford University
Haupteingang der ''Stanford University'' Memorial Church'' Bogengang Die Leland Stanford Junior University (kurz Stanford University oder Stanford, Spitzname „Die Farm“) ist eine private US-amerikanische Universität in Stanford, Kalifornien.
Sehen Solomon Feferman und Stanford University
Tarski Lectures
Die Tarski Lectures der University of California, Berkeley sind eine Ehrung in mathematischer Logik im Andenken an Alfred Tarski.
Sehen Solomon Feferman und Tarski Lectures
University of California, Berkeley
Die University of California, Berkeley (auch bekannt als Cal oder UC Berkeley) ist eine staatliche Universität in Berkeley im US-Bundesstaat Kalifornien und gehört seit vielen Jahren zu den renommiertesten Universitäten der Welt.
Sehen Solomon Feferman und University of California, Berkeley
University of Oxford
Die University of Oxford (rechtlich The Chancellor, Masters and Scholars of the University of Oxford), deutsch Universität Oxford, in Oxford (England) ist eine der ältesten und renommiertesten Universitäten der Welt.
Sehen Solomon Feferman und University of Oxford
13. Dezember
Der 13.
Sehen Solomon Feferman und 13. Dezember
2016
Das Jahr 2016 war geprägt vor allem durch verschiedene Terroranschläge, unter anderem in Brüssel, Nizza und Berlin, durch das Brexit-Referendum, die Wahl Donald Trumps zum Präsidenten der Vereinigten Staaten sowie den Tod zahlreicher Musiker und Schauspieler.
Sehen Solomon Feferman und 2016
26. Juli
Der 26.
Sehen Solomon Feferman und 26. Juli
Auch bekannt als Feferman.