Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Introductory note to *1930c
View through CrossRef
Abstract
This item is, apparently, the lecture Gödel delivered on 6 Septem ber 1930 at the Conference on Epistemology of the Exact Sciences in Konigsberg. In it Gödel presents his completeness theorem for first-order quantification theory, which he had proved in his doctoral dissertation 1929 (these Works, Volume I, pages 60-101) and published as 1930 (Volume I, pages 102-123). A one-paragraph abstract of the lecture was published as 1930a (Volume I, pages 124-125). Further information on the Konigsberg Conference and Godel’s participation in it can be found in the introductory note to 1931a, Volume I, pages 196--199.
Title: Introductory note to *1930c
Description:
Abstract
This item is, apparently, the lecture Gödel delivered on 6 Septem ber 1930 at the Conference on Epistemology of the Exact Sciences in Konigsberg.
In it Gödel presents his completeness theorem for first-order quantification theory, which he had proved in his doctoral dissertation 1929 (these Works, Volume I, pages 60-101) and published as 1930 (Volume I, pages 102-123).
A one-paragraph abstract of the lecture was published as 1930a (Volume I, pages 124-125).
Further information on the Konigsberg Conference and Godel’s participation in it can be found in the introductory note to 1931a, Volume I, pages 196--199.
Related Results
Ary Scheffer, een Nederlandse Fransman
Ary Scheffer, een Nederlandse Fransman
AbstractAry Scheffer (1795-1858) is so generally included in the French School (Note 2)- unsurprisingly, since his career was confined almost entirely to Paris - that the fact that...
Pieter Saenredam: zijn boekenbezit en zijn relatie met de landmeter Pieter Wils
Pieter Saenredam: zijn boekenbezit en zijn relatie met de landmeter Pieter Wils
AbstractAn earlier article on Saenredam's construction drawings (Note, 1 ) left open the question of how he obtained his knowledge of perspective. His teacher Frans de Grebber (Not...
Een serie tekeningen van Johannes Stradanus met scènes uit het leven van de Heilige Giovanni Gualberto
Een serie tekeningen van Johannes Stradanus met scènes uit het leven van de Heilige Giovanni Gualberto
AbstractAmong the extensive collection of pen sketches by Johannes Stradanus (Bruges 1523-Florence 1605) in the Cooper-Hewitt Museum of Design and the Pierpont Morgan Library in Ne...
Hercules belegerd door de Pygmeeën, schilderijen van Jan van Scorel en Frans Floris naar een Icon van Philostratus
Hercules belegerd door de Pygmeeën, schilderijen van Jan van Scorel en Frans Floris naar een Icon van Philostratus
AbstractA lost painting by Jan van Scorel (1495-1562), Hercules besieged by the Pygmies, is reconstructed with the aid of epigrams by the brothers Nicolaus Grudius Nicolai ( 1504-7...
Abstract TP79: Epic Smartblocks: Faster Note And Better Look
Abstract TP79: Epic Smartblocks: Faster Note And Better Look
Introduction:
Electronic health records (EHRs) were introduced into healthcare in order to minimize errors and increase efficiency. Unfortunately, the use of EHRs have ...
Zeldzame bloemen, 'Fatta tutti del natturel' door Jan Brueghel I
Zeldzame bloemen, 'Fatta tutti del natturel' door Jan Brueghel I
AbstractThe letters Jan Brueghel (1568-1625) wrote to his Italian patron Federico, cardinal Borromeo, between 1605 and 1625, provide some information about his flower paintings. Th...
Een episode uit de fabel van Erysichthon getekend door Maarten de Vos
Een episode uit de fabel van Erysichthon getekend door Maarten de Vos
AbstractIn the Rijksbureau voor Kunsthistorische Documentatie is a photograph from Max Friedländer's archives of a drawing as yet unmentioned in the literature (Fig. I). It is clea...