• 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 -...

  • Kreisel/Troelstra 1968

    1960-1996, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-17

    ...Brief vom 21.9.1979 an Dana Scott, GK 1-17-26 ist die Kopie eines masch. Briefes vom 13.12.1984 von Scott und GK 1-17-27 ein hs. Brief vom... ...GK 1-17-29 enthält einen hs. Brief an Dana Scott vom 28.12.1995, Kopien von zwei hs. Briefen an William Farmer vom 28.12.1995 und vom 10.1.1996 (mit hs. Notiz an... ...Macintyre, Angus Myhill, John Scedrov, Andrej, 1955 - Scott, Dana S. Tait, William W. 1929 - Troelstra, Anne S.; 1939 - Vesley,...

  • Kreisel letters

    1981-1983, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-13

    ...Enthält: Briefe von Georg Kreisel an Dana Scott und einen Gegenbrief Scotts aus dem Zeitraum vom 7.7.1981 bis 18.4.1983, Korrespondenz mit Dritten... ...Briefes an Solomon Feferman vom 11.4.83 (verso mit hs. Kurznachricht an Dana Scott), einen masch. Brief von Stephen C. Kleene an Paul Weingartner vom 1.4.1983,... ...Brief vom 6.10.1982 an Irene Scott mit einem langen Nachtrag an Dana Scott. GK 1-13-31 ist die Kopie eines hs.... ...Briefe vom 17.9. und vom 4.5.1982 von A. S. Troelstra an Dana Scott sowie eine Kopie von Kreisels Rezension des Aufsatzes "The interpolation theorem... ...GK 1-13-37 enthält einen masch. Brief von Dana Scott an John M. Kemeny vom 7.9.1982 und den masch....

  • Manuskripte

    1968-1972, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-4

    ...Zusätzen (auf der Kopie von Dana Scott) und Korrekturen, bei GK 2-4-3 und -4 um die Kopie ebendieser Teile eines Typoskriptes, das eine spätere Version darstellt.... ...Auf der ersten Seite findet sich ein hs. Vermerk von Dana Scott: "corrected by Kreisel". Scott, Dana S....

  • Kreisel letters

    1977-1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-6

    ...Enthält: Briefe von Georg Kreisel an Dana Scott und einige Gegenbriefe, Korrespondenz mit Dritten und z.T. umfangreiche Anlagen. Die Korrespondenz mit... ...Brief vom 30.8.1978 von Ernst Kani an Dana Scott. Bei GK 1-6-5 und -6 handelt es sich um die Durchschläge kurzer masch.... ...Mac Lane, Saunders, 1909 - 2005 Minc, G. É Scott, Dana S. (Dana Stewart) Smorynski, Craig Vance, B....

  • Korrespondenz mit Verena Huber-Dyson

    1957-1996, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 10-1

    ....; Mathematiker, - 1995 Gödel, Kurt; Mathematiker, 1906 - 1978 Huber-Dyson, Verena; Mathematikerin, 1923 - 2016 Lorenzen, Paul; Philosoph, Mathematiker, 1915 - 1994 Kleene, Stephen Cole;... ...Briefes vom 2.4.1959 an Dana Scott. GK 10-1-206 ist der Durchschlag eines masch.... ...Briefes vom 22.4.1959 an Dana Scott. GK 10-1-209 ist ein hs. Brief vom 5.5.1959 von Paul Lorenzen, GK 10-1-210 der Durchschlag eines masch.... ...Brief vom 17.5.1959 von Dana Scott, GK 10-1-213 ist der Durchschlag eines masch.... ...... ...Scott, Dana S....

  • Mostly on Gödel

    [ca. 1979], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-11

    ...Blatt mit Mitteilung an die Sekretärin von der Hand von Dana Scott. GK 2-11-2 ist eine hs. Vorfassung des Gödel-Artikels, GK 2-11-3 eine hektographierte Kopie einer... ...Gabbay, Dov M., 1945 - Scott, Dana S. Wang, Hao, 1921 - Mathematical Intelligencer (Berlin, Deutschland: 1978) Studia logica (Warschau, Polen : 1953)...

  • Manuskripte

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

    ...GK 2-7-5 endet mit einem hs. Brief an Dana Scott vom 11.11.1976. GK 2-7-6 ist der Durchschlag eines Typoskriptes mit einer Rezension von Bd. 1 der von A.... ...Postscripts und zugehörigen Korrekturen zum ersten Artikel, bei GK 2-7-11 um die Kopie eines Typoskriptes mit Ergänzungen zum ursprünglichen Text. Scott, Dana...

  • Kreisel letters

    1981-1982, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-12

    ...Enthält: 12 Briefe von Georg Kreisel an Dana Scott aus dem Zeitraum vom 7.10.1981 bis 27.5.1982 und Anlagen in Form von Manuskripten, Zeitungsausschnitten und Kopien... ...GK 1-12-10 enthält die Notiz über einen eingegangenen Anruf für Dana Scott von Kreisel und eine Telefonnummer von Harvey Friedman.... ...Craig, William, 1918 - Crick, Francis, 1916 - 2004 Delzell, Charles N. 1953- Friedman, Harvey, 1948 - Macintyre, Angus Maddy, Penelope Scott, Dana...

  • Derus

    1985-2015, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-19

    ...Briefe an Ketonen aus dem Zeitraum Oktober 2009 bis August 2010 (GK 5-19-106, -110, -114, -115, -166) ·Emailkorrespondenz zwischen Lance Lugar, Paul Weingartner und Dana... ...E.; Mathematiker, 1939- Morgan, Aimee Parikh, Rohit; Informatiker, 1936- Scott, Dana S.; Mathematiker, Logiker, Informatiker, Philosoph, 1932 -... ...... ...Scott, Dana S....

  • Kreisel letters

    1969-1972, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-3

    ...... ...Enthält: Briefe an Dana Scott und einige Gegenbriefe, Korrespondenz mit Dritten und Anlagen. Die Korrespondenz zwischen Kreisel und Scott umfaßt den... ...Briefes vom 5.7.1970 von A. S. Troelstra an Dana Scott, GK 1-3-38 die Kopie eines masch.... ...(Robert Wells) Rogers, H. (Hartley), 1926 - Scott, Dana S. (Dana Stewart) Shockley, William, 1910 - 1989 Serre, Jean-Pierre, 1926 -...

  • Kreisel letters

    1978-1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-14

    ...Enthält: Korrespondenz zwischen Georg Kreisel und Dana Scott aus dem Zeitraum vom 19.7.1983 bis 10.12.1984, Kopien von Briefen an Dritte und Anlagen, darunter auch... ...Briefes vom 3.10.1983 an S. Feferman. Bei GK 1-14-18 und -19 handelt es sich um hs.... ...Kurznachricht von Nancy Steege vom 2.7.1984 an Dana Scott, GK 1-14-85 ist die Kopie eines undatierten hs.... ...(Marian Boykan), 1928 - Scott, Dana S. Shapiro, Stuart, 1951 - Steege, Nancy Stone, Marshall H....

  • Manuskripte

    [ca. 1972], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-5

    ...Manuskriptes mit dem Titel "Bertrand Russell: critical or speculative philosopher". Von der Hand von Dana Scott ist vermerkt: Leeds Lecture Oct. 72. Offenbar handelt... ...Es enthält einen Anhang mit der Auflistung von Ergänzungen, die Kreisel aufgrund der Publikation Metamathematical investigation of intuitionistic arithmetic and analysis (1973) von Anne...

  • MSS of Kreisel Reviews

    1952-1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-16

    ...Es handelt sich um Texte von Göran Sundholm und Scott Weinstein, die Kreisel mit "Intuitionistische Grundlagen" verschlagwortete.... ...Auf das Formular hat Kreisel hs. eine Mitteilung an Dana Scott geschrieben. GK 2-16-25 ist der Durchschlag eines Typoskriptes mit einer Rezension des Artikels... ...Kreisel hat hs. eine auf den 7.5.1975 datierte Mitteilung an Dana Scott und ein PS auf den Durchschlag geschrieben.... ...Die Rezension erschien im Journal of Symbolic Logic 25 (1960) Gehring, Frederick W.; Mathematiker, Hochschullehrer, 1925 - Scott, Dana S.;... ...... ...Scott, Dana S....

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.