Archivportal-D

Suche verfeinern

Nur Archivgut mit Digitalisaten

Archive + Bestände
- Bundesland
  - Baden-Württemberg
    ×
  - Bayern
    ×
  - Berlin
    ×
  - Brandenburg
    ×
  - Bremen
    ×
  - Hamburg
    ×
  - Hessen
    ×
  - Mecklenburg-Vorpommern
    ×
  - Niedersachsen
    ×
  - Nordrhein-Westfalen
    ×
  - Rheinland-Pfalz
    ×
  - Saarland
    ×
  - Sachsen
    ×
  - Sachsen-Anhalt
    ×
  - Schleswig-Holstein
    ×
  - Thüringen
    ×
- Sparte
- Archiv
- Archive der Universität Konstanz (2275)
Filter
- Laufzeit
  Von
  
  1.
  
  2.
  
  3.
  
  4.
  
  5.
  
  6.
  
  7.
  
  8.
  
  9.
  
  10.
  
  11.
  
  12.
  
  13.
  
  14.
  
  15.
  
  16.
  
  17.
  
  18.
  
  19.
  
  20.
  
  21.
  
  22.
  
  23.
  
  24.
  
  25.
  
  26.
  
  27.
  
  28.
  
  29.
  
  30.
  
  31.
  
  Januar
  
  Februar
  
  März
  
  April
  
  Mai
  
  Juni
  
  Juli
  
  August
  
  September
  
  Oktober
  
  November
  
  Dezember
  Bis
  
  1.
  
  2.
  
  3.
  
  4.
  
  5.
  
  6.
  
  7.
  
  8.
  
  9.
  
  10.
  
  11.
  
  12.
  
  13.
  
  14.
  
  15.
  
  16.
  
  17.
  
  18.
  
  19.
  
  20.
  
  21.
  
  22.
  
  23.
  
  24.
  
  25.
  
  26.
  
  27.
  
  28.
  
  29.
  
  30.
  
  31.
  
  Januar
  
  Februar
  
  März
  
  April
  
  Mai
  
  Juni
  
  Juli
  
  August
  
  September
  
  Oktober
  
  November
  
  Dezember
  Eingrenzung
  
  Erweitert
  
  Genau
- Archivalientyp
- (Vor-)Provenienz
- Ort
- Person/Organisation
- Schlagwort
- Verzeichnungsstufe
- Medientyp
- Verwendbarkeit
Themenportale
- Urkunden der Pfalzgrafen
  
  Rechte Gewalt
  
  Weimarer Republik
  
  Wiedergutmachung

Suchergebnisse

1 - 100 von 151

Sortierung

On speed up and some other (cl)aims of similar flavour

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-59
Austins's unflinching convictions or Stuart Hamphire's blind admiration for lack of second thoughts

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-101
Opportunities for empirical evidence IX

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-75
Grundlagen der Mathematik

1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-12
Troelstra/van Dalen,. Construcivism in mathematics. An introduction, 1988

[ca. 1989], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-1
An Item of Contemporary. Volksempfinden

[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-66
Yukami's 'Trick'

1988, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-19
Postscript to Baaz-Wojtylak

2001-2004, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-105
Analogies in contemporary mathematics

[ca. 1991], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-37
Introduction: academic and non-academic options for using one's logical education

[ca. 1988], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-1
Memo on (glimpses of) a broader view

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-11
A tacit assumption about mathematical traditions

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-12
On the idea(l) of logical closure

1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-26
A reminder of empircal facts balancing any dangers of (Wittgenstein's) bewitchments

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-50
More (on) convergence

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-9
Logische Grundl. & Wissenschaftstheorie

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-55
Cut-free proofs: a (still) neglected aspect

1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-86
Preliminary Notes to "Second thoughts around some of Gödels's writings", Teilstücke

1994-1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-13
Note X on empircial evidence: cross purposes

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-76
Premature quantification: some reminders

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-17
Publikationsanzeige: Logical aspects of computation

1989, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-23
Second thoughts around some of Gödel's writing

[ca. 1997], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-96
A Neglected Aspect Of the Formalization Of Informal Mathematics

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-9
Set-theoretic foundations and Hilbert's program: Restating a conflict

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-3
Detlefsen, J. of Phil. Logic 19 (1990)

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-3
Opportunities for empirical evidence VI

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-74
A relation between 2 declarations of A. Weil

2005, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-108
Musil's quip

[ca. 2008], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-21
Rezensionen

Archive der Universität Konstanz
Memo after a couple of lectures by Bellin, on Girard's (paper LL). Linear Logicand on Ketonen's...

1988, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-18
Milk sop and hard core foundations

[ca. 1998], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-99
Interim note: fnding topics for a subject of proofs

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-77
Besprechung J. Hintikka

[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-5
Some Problems (a little off the beaten track)

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-43
Memo (to myself) after reading Buchberger: History and basic features of the...

[ca. 1987], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-6
Memo suggested by recent results of M. Baaz

1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-53
Exercise(s) concerning Hilbert's idea (=Ansatz) for his ε-substitution method applied to predicate...

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-80
Quotations and other references

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-17
General (negative) aspects of my writing

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-60
Truth and half-truths in (Stewart's flashy piece on) "Dynamics deciding the undecidable"

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-40
Notes for a preface to Occasional Essays

Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-9
Odifreddi's editing and the American Dream

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-29
A practical perspective on a pious precept

1993, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-67
Refuting (strong) AI on its own terms

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-39
Reviews. Zentralblatt für Mathematik

1968-1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-6
Appendix: ω-consistency and related topics

[ca. 1971], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-2
The cardinal sin of senility: putting everything in a NUTSHELL

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-19
The traditional preoccupation of logic: truth (validity)

[ca. 2005], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-109
Logical Aspects of Hilbert's 17th problem

1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-45
Reminders around implicit definitions

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-41
Mathematical knowledge

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-16
Empirical evidence: curiosities

1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-85
Abstractions related to mental processes

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-18
Republishing (my) articles and/or essays

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-34
Buchprojekt, Stichworte: Diversity, Knowledge

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-10
Around - not only - Wittgenstein's literary ambitions

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-103
Diversity: some half forgotten episodes

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-82
Zur Metapher von der Logik als - Grammatik einer - Sprache für die abstrakte Mathematik

2001-2002, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-104
Brief review of loose ends in my teen age recollections

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-10
Comments on Hilbert's substitution method

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-42
Afterthoughts on Odifreddi's editing

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-28
Aspects of Herbrand's thèse: combinations with contemporary ideas and relations to foundational...

2008, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-111
A (by me) so far neglected question: the statistical distribution of malaise

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-73
On the film. Wittgenstein

[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-65
Preface: mathematical logic

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-4
Penrose: a busy decade

1998, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-98
About and around Turing's test

1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-46
Notes on a neglected alternative to benevolent neglect: with special reference to the tradition(s)...

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-72
Realizing limitations of one's resources: a potential for relief from malaise

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-88
Stichworte

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-56
More about approximating continuous functions

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-35
Memo: A retrogressive tendency in the study of abstract logics

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-8
Aberglauben und Erfahrung betr. die Anwendung von Modell- und Beweistheorie

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-31
Foundational and scientific argument

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-51
Angemessene (Beschreibungen von) Kategorien: entsprechende Ansprüche

[ca. 1991], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-36
The business of and with truth in mathematics

Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-79
On M. Baaz & R. Zach, Short proofs of tautologies using the schema of equivalence (1994)

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-78
Zur Metapher von der Logik als - Grammatik einer - Sprache für die abstrakte Mathematik

2003, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-20
Pour-El, Marian B./Richards J. Ian,. Computability in Analysis and Physics, 1989

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-2
Notes on the Nobel Prize Lectures by Wigner and Feynman

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-95
Reminiscences about Hilbert's ε-calculus

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-38
Memo on a question by Penrose

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-32
Sums of squares: (nearly) 40 years after Cornell

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-70
Background: teen age emotions recollected in prosaic tranquillity

1997, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-14
(Primitive) Recursiveness and the dictum: le côté les moins intéressant

[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-61
Dating manuscripts: an interim report

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-69
Suitable data in the area around ε-derivations

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-58
'Treason' rhymes with 'reason'. (Second thoughts on the piece by Barwise)

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-63
Some lessons from Odifreddi's editing

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-27
Von den Grundlagen zur Technologie

1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-13
Anmerkungen zu. What Mad Pursuitvon Francis Crick

1989, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-22
6. A comment and a disclaimer

1998, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-15
Memo on a longshot: linear wordequations in semigroups

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-30
Socalled self-referential paradoxes

1986, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-14
Rekursiv und algorithmisch

[ca. 1986], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-15
Preface: logical foundations

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-3
The source(s) of morality

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-91
Background: Review with a twist

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-2
A (re)view on Gödel's emphasis on higher types

[ca. 1999], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-100
Short thoughts and short memories around the topic: generalizing (terms in) proofs and theorems

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-71

Suchergebnisse

1 - 100 von 151

Sortierung

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.

Anmelden

Registrieren Sie sich hier.

Passwort zurücksetzen

Suchen nach

Suche verfeinern