• Personenseite

    Dana S. Scott

    Mathematiker, Logiker, Informatiker, Philosoph
    Geboren: Berkeley, Calif.
    Dana S. Scott

  • Scott

    1984-2006, (2010), Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-61

    ...Enthält: Korrespondenz mit Dana Scott aus dem Zeitraum vom 22.6.1984 bis 22.6.2006 sowie vom 22.2.2010 Scott, Dana... ...... ...Scott, Dana S....

  • Reviews from the. Zentralblatt

    1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-17

    ...Enthält: Die Mappe enthält eine von Dana Scott und Göran Sundholm besorgte Zusammenstellung aller Rezensionen, die Kreisel im Zentralblatt für Mathematik bis 1977... ...Brief vom 17.7.1978 von Dana S. Scott an seine Kollegen in bezug auf eine Kreisel-Bibliographie, ein masch.... ...Bei GK 2-17-2 handelt es sich um einen Datenbank-Ausdruck von Kreisels veröffentlichten Texten bis 1977. Scott, Dana S.; Mathematiker, Logiker,... ...... ...Scott, Dana S....

  • Macintyre

    2006-2007, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-47

    ...Darin: ··Kopie eines masch. Briefes von Dana Scott vom 8.6.2006 (GK 5-47-40 verso) ·Email an Ulrich Kohlenbach vom 28.8.2007 (GK 5-47-118 verso) ·hs. Brief von... ...... ...Scott, Dana S....

  • Kontinuumproblem :

    1969, Universitätsarchiv Freiburg, E 0020 / 318

    ...Enthält: Gert H. Müller, Heidelberg; Dana S. Scott, Amsterdam...

  • Definability in set theory :

    1977, Universitätsarchiv Freiburg, E 0020 / 698

    ...Enthält: Gert H. Müller, Heidelberg; Dana S. Scott, Oxford...

  • Lecture notes

    1971-1976, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 3-6

    ...Brief vom 13.4.1972 an Dana Scott. Die Stücke GK 3-6-9 bis -13 bilden ein zusammenhängendes hs.... ...Seite, betitelt "Seminar, Oct. 1976). Scott, Dana S.; Mathematiker, Logiker, Informatiker, Philosoph, 1932 -... ...... ...Scott, Dana S....

  • Foundations of Analysis. Stanford Summer 1963

    1963-1965, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 3-2

    ...Das Typoskript ist gelumbeckt und trägt einen Besitzstempel von Dana Scott. Dem eigentlichen Vorlesungsmanuskript ist ein weiterer Teil beigegeben, der vorwiegend... ...Harrison, Joseph Arthur Howard, William Alvin, 1926 - Parikh, Rohit, 1936 - Scott, Dana S.; Mathematiker, Logiker, Informatiker, Philosoph, 1932 -... ...... ...Scott, Dana S....

  • Kreisel letters

    1972-1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-5

    ...Enthält: Briefe von Kreisel an Dana Scott und einige Gegenbriefe, Korrespondenz mit Dritten und Anlagen.... ...GK 1-5-23 ist ein hs. von Dana Scott redigiertes Typoskript von Kreisel zu einem Gutachten über die Dissertation von Göran Sundholm.... ...Brief vom 16.6.1978 von Sundholm an Dana Scott. Bei GK 1-5-39 handelt es sich um ein von Dana Scott hs. redigiertes masch.... ...Ergänzungen von Kreisel und ein hs. Schema von Scott. Beeson, Michael J., 1945 - Dirac, Gabriel Feferman, Solomon Nivision, David S. Scott,...

  • Kreisel letters

    1980-1981, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-9

    ...Enthält: Briefe von Kreisel an Dana Scott (mit Anlagen), einen Brief von Scott sowie Briefe von und an Dritte.... ...GK 1-9-5 enthält neben Briefen an Dana Scott die Kopie einer masch. Ergänzung zum Manuskript von "Constructivistic approaches to logic", erschienen in Modern Logic... ...Notizen, betitelt "Message to Ketonen" und "Message to Hyland (or Gandy)", vermutlich als Anlagen zu einem Brief an Dana Scott. GK 1-9-14 ist eine hs.... ...(Marian Boykan),1928- Scott, Dana S.; Mathematiker, Logiker, Informatiker, Philosoph, 1932 - Harvard Graduate Society for Advanced Study and... ...... ...Scott, Dana S....

  • Kreisel Bibliographie

    1985-1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-18

    ...Eine Notiz von der Hand von Dana Scott ist aufgeklebt. Gk 2-18-6 ist ein masch.... ...Kalman vom 9.11.1990 an Dana Scott mit der Bitte um einen Sonderdruck Kreisels, GK 2-18-7 die Kopie dieses Briefes mit Bearbeitungsvermerk.... ...Wheeler vom 16.3.1990 an Dana Scott. GK 2-18-10 ist ein hs. Brief Kreisels vom 14.3.1990 an Dana Scott, GK 2-18-11 die Kopie von... ...(Rudolf Emil) 1930 - Odifreddi, Piergiorgio; Mathematiker, 1950 - Quackenbush, Staci C. Scott, Dana S.; Mathematiker, Logiker, Informatiker,... ...... ...Scott, Dana S....

  • Kreisel letters

    1987-1990 , Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-16

    ...Enthält: Korresponenz zwischen Georg Kreisel und Dana Scott aus dem Zeitraum vom 23.2.1987 bis 14.2.1990, Briefe von und an Dritte und Anlagen. GK 1-16-1 enthält... ...Brief an Jesús Alcolea vom 21.11.1989 und einen masch. Brief von Alcolea an Dana Scott vom 14.12.1989 nebst einer Kopie dieses Briefes mit Annotationen von... ...Duncan (Robert Duncan) Scott, Dana S....

  • Kreisel letters

    1979-1980, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-8

    ...Enthält: Briefe Kreisels an Dana Scott und einige Gegenbriefe, Korrespondenz mit Dritten sowie z.T. umfangreiche Anlagen.... ...Brief vom 14.7.1979 von Michael Wrigley an Dana Scott, GK 1-8-5 enthält zwei verschiedenformatige Kopien von Scotts masch.... ...Briefes vom 6.5.1980 von Dana Scott an Andrew Pitts, GK 1-8-34 ein hs. Brief vom 17.4.1980 von Pitts.... ...Brief vom 6.5.1980 von Solomon Feferman an Dana Scott. GK 1-8-40 enthält einen hs. Brief von Göran Sundholm an Dana Scott vom... ...(Gabriel) Pitts, Andrew Roquette, Peter, 1927 - Scott, Dana S. (Dana Stewart) Stepanov, Herr Sundholm, Göran Wrighley, Michael...

  • Kreisel letters

    1980-1981, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-10

    ...Enthält: Korrespondenz zwischen Georg Kreisel und Dana Scott aus dem Zeitraum vom 13.11.1980 bis 4.7.1981, Korrespondenz mit Dritten und Anlagen.... ...Simpson vom 7.5.1981 an Dana Scott und eine Kopie der hs. Antwort Scotts.... ...Brief von Michael Wrigley an Dana Scott sowie die Kopie eines Typoskriptes von Wrigley mit dem Titel "Wittgenstein on Intuitionism.... ...Text, möglicherweise das Ende eines Rezensionstyposkriptes mit einem hs. Brief von Kreisel an Dana Scott. Ergänzung Mitteilung von Simpson an Kreisel vom 9.3.1981.... ...Hodgkin, Adam Jäger, Gerhard O'Conell, Joan Scott, Dana S. Simpson, Stephen G. (Stephen George), 1945 - Wrigley, Michael Beaumont Oxford University...

  • Kreisel letters

    1980-1981, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-11

    ...Enthält: Briefe von Kreisel an Dana Scott aus dem Zeitraum 15.3. bis 4.4.1981, zwei weitere Briefe an/von Dritten sowie Anlagen (Artikel und Manuskripte).... ...Brief von Daniel H. Fowler an Dana Scott vom 5.3.1981, ein Typoskript Fowlers mit dem Titel "Anthyphairetic ratio and Eudoxan proportion" und eine Seite aus einem... ...Friedman, Harvey, 1948 - Scott, Dana S. (Dana Stewart) Tait, William...

  • Kreisel letters

    1964-1969, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-2

    ...Enthält: Briefe von Georg Kreisel an Dana Scott und einige wenige Gegenbriefe, Korrespondenz mit Dritten und Anlagen.... ...Kurznotiz von Patrick Suppes an Dana Scott, die Kopie eines masch. Briefes von Suppes an die Association for Symbolic Logic, ein hs.... ...Brief von Feferman an Dana Scott, der Durchschlag eines masch. Briefes von Dana Scott an Kreisel und eine hs.... ...Brief vom 24.4.1968 von Dana Scott an Errett Bishop, GK 1-1-43 und -44 sind Durchschläge masch.... ...Reichbach, Julius Robinson, Abraham, 1918 - 1974 Sacks, Gerald E. Scott, Dana S. (Stewart) Suppes, Patrick, 1922 - Wilcock, B....

  • Kreisel letters

    1984-1986, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-15

    ...Enthält: Korrespondenz zwischen Georg Kreisel und Dana Scott aus dem Zeitraum 8.1.1985 bis 19.11.1986, Briefe von oder an Dritte und Anlagen.... ...Brief vom 23.7.1986 von Michael Detlefsen an Dana Scott. GK 1-15-5 ist ein hs. Brief vom 28.4.1986 an L. De Filippo, Sekretärin von Dana... ...Auf der Kopie hat Kreisel eine hs. Kurznachricht an Dana Scott notiert. GK 1-15-40 ist die Kopie eines masch.... ...Nerode, Anil, 1932 - Peierls, Rudolf Ernst, Sir, 1907 - Statman, Richard Scott, Dana S. Wood, Allen W. Physics today Zentralblatt für Mathematik...

  • Gödel-Symposium 1983

    1982-1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-75

    ....; Philosoph, Wissenschaftstheoretiker, 1902-1994 Ščedrov, Andrej; 1955- Schmetterer, Leopold; Mathematiker, Statistiker, 1919-2004 Scott, Dana S.;... ...... ...Scott, Dana S....

  • Wittgenstein O.U.P

    1979-1980, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-14

    ...GK 2-14-11 enthält die Kopie eines hs. Briefes von Dana Scott an Adam Hodgkin vom der Oxford University Press vom 19.9.1980, zwei masch.... ...Inhaltsverzeichnisses zu einem Sammelband über parakonsistente Logik, der Durchschlag eines masch. Briefes von Dana Scott an Kreisel vom 26.3.1980, der Durchschlag... ...Brief vom 26.3.1980 von Dana Scott an M. Giaquinto mit einer Liste von Erläuterungen Kreisels zu Teilen des Buchmanuskriptes,datiert auf den 22.10.1979.... ...(Marcus) Hodgkin, Adam Pears, David, 1921 - 2009 Scott, Dana S. Oxford University Press...

  • Kreisel letters

    1973-1977, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-4

    ...Enthält: Briefe von Kreisel an Dana Scott und einige Gegenbriefe, Korrespondenz mit Dritten und Anlagen.... ...Kurzbrief der Sekretärin von Fox an Dana Scott. GK 1-4-109 ist die Kopie eines masch.... ...GK 1-4-134 ist ein masch. Brief an Dana Scott von Derick Hetherington vom 23.7.1976.... ...Schreiben vom 25.7.1977 an Dana Scott. Aloisio, Pantaleo Bane, Vivien Barwise, Jon.... ...Moravcsik, J. E. M. Nivison, David S. Scott, Dana S. (Dana Stewart) Simpson, Stephen G....

  • Kreisel letters

    1958-1963, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-1

    ...Enthält: Briefe von Georg Kreisel an Dana Scott, Korrespondenz mit Dritten und Anlagen. Die Briefe Kreisels an Scott umfassen den Zeitraum 6.3.1958... ...Mai 1960 datiertes masch. Memorandum von Dana Scott die ersten beiden Theoreme in Kreisels Manuskript "On Weak Completeness of Intuitionistic Predicate Logic"... ...Briefes vom 6.2.1963 von Saunders Mac Lane an Dana Scott. Scott hat ihn mit einer hs. Annotation versehen, Kreisel ebenso.... ...(Jean Louis) Mac Lane, Saunders, 1909 - 2005 Morley, Michael Darwin, 1930 - Myhill, John Nishimura, Toshio, 1926 - Parikh, Rohit, 1936 - Platek, Richard Alan Rabin, Michael Oser, 1931 -...

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.