Akten

A (re)view on Gödel's emphasis on higher types

to connected objects

Enthält: Kopie eines handschriftlichen Manuskriptes

Reference number
PAKN, GK Georg Kreisel, GK 4-1-100
Extent
14 Bl.

Context
Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Artikel und Memoranda
Holding
PAKN, GK Georg Kreisel

Date of creation
[ca. 1999]

Other object pages
Show object in "Archivportal-D"
Last update
10.06.2025, 11:28 AM CEST

Data provider

This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Sachakte

Time of origin

  • [ca. 1999]

Other Objects (12)

Types, tableaus, and Gödel's God

Types, tableaus, and Gödel's God

Mostly on Gödel

Akten

Mostly on Gödel

Emphasis on proteomics

Emphasis on proteomics

Internationalization in Mexican higher education : with special emphasis on German-Mexican cooperation

Hochschulschrift

Internationalization in Mexican higher education : with special emphasis on German-Mexican cooperation

Emphasis on Nucleic acids

Aufsatzsammlung

Emphasis on Nucleic acids

Computations in higher types

Computations in higher types

Emphasis on proteomics and proteins

Aufsatzsammlung

Emphasis on proteomics and proteins

Topologies on types

Artikel

Topologies on types

Topologies on types

Arbeitspapier

Topologies on types

On Gödel and the nonexistence of time : Kurt Gödel essay competition 2021 = Gödel und die Nichtexistenz der Zeit : Kurt-Gödel-Preis 2021

On Gödel and the nonexistence of time : Kurt Gödel essay competition 2021 = Gödel und die Nichtexistenz der Zeit : Kurt-Gödel-Preis 2021

Uniform topologies on types

Artikel

Uniform topologies on types

Topologies on types: connections

Arbeitspapier

Topologies on types: connections

Related objects