No results for "Category:Works by Kurt Gödel" (auto) in titles.

Suggestions for article titles:

1. Kurt Gödel: Kurt Friedrich Gödel (b. 1906, d. (Philosophy) [100%] 2022-01-21
2. Kurt Gödel: Kurt Friedrich Gödel (April 28, 1906 - January 14, 1978) was an Austrian and American mathematician, sometimes considered as the most important figure in mathematical logic in modern times. His most well-known work is his famous Incompleteness Theorem, described as ... [100%] 2022-08-28
3. Kurt Gödel: Kurt Gödel April 28 1906(1906-04-28) Brünn (Brno) Austria-Hungary Princeton, New Jersey, U.S. Kurt Gödel (April 28, 1906 – January 14, 1978) was one of the most significant logicians of all time, whose work had an immense ... [100%] 2023-02-04
4. Kurt Gödel: Kurt Gödel April 28 1906(1906-04-28) Brünn (Brno) Austria-Hungary Princeton, New Jersey, U.S. Kurt Gödel (April 28, 1906 – January 14, 1978) was one of the most significant logicians of all time, whose work had an immense ... [100%] 2023-02-05
5. Kurt Gödel: Kurt Gödel April 28 1906(1906-04-28) Brünn (Brno) Austria-Hungary Princeton, New Jersey, U.S. Kurt Gödel (April 28, 1906 – January 14, 1978) was one of the most significant logicians of all time, whose work had an immense ... [100%] 2023-02-04
6. Kurt Gödel: Kurt Gödel April 28 1906(1906-04-28) Brünn (Brno) Austria-Hungary Princeton, New Jersey, U.S. Kurt Gödel (April 28, 1906 – January 14, 1978) was one of the most significant logicians of all time, whose work had an immense ... [100%] 2023-02-03
7. Kurt Gödel: Kurt Friedrich Gödel (/ˈɡɜːrdəl/ GUR-dəl, German: [kʊʁt ˈɡøːdl̩] (listen); April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had ... (Biography) [100%] 2023-11-19 [Analytic philosophers] [Ontologists]...
8. Kurt Gödel: Pour les articles homonymes, voir Godel. modifier Kurt Gödel est un logicien et mathématicien autrichien naturalisé américain, né le 28 avril 1906 à Brünn (Autriche-Hongrie) et mort le 14 janvier 1978 à Princeton (New Jersey). [100%] 2025-05-04
9. Gödel (programming language): Gödel is a declarative, general-purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism. (Programming language) [80%] 2024-06-16 [Logic programming languages]
10. Güdel: Die Güdel Group AG mit Sitz in Langenthal ist ein international tätiges Schweizer Industrieunternehmen, das im Bereich Engineering und Herstellung von Linear- und Antriebskomponenten spezialisiert ist. Das Unternehmen baut unter anderem automatische Fertigungsstrassen, Linearführungen, Zahnstangen, Ritzel, Getriebe, Linearachsen und Portalroboter ... [64%] 2023-07-06
11. Göbel: Göbel is a surname of Germanic origin. Persons with this name include. [64%] 2024-03-19 [German-language surnames] [Surnames from given names]...
12. Godel (river): Godel is a river of the North Frisian island Föhr, Schleswig-Holstein, Germany. The Godel springs at Witsum and Utersum from several tidal creeks. (River) [64%] 2025-02-04 [Rivers of Schleswig-Holstein] [Rivers of Germany]...
13. Gudel: Cet article est une ébauche concernant une localité népalaise. Gudel (en népalais : गुदेल) est un comité de développement villageois du Népal situé dans le district de Solukhumbu. [64%] 2025-05-02
14. Kurt: Kurt is a male given name in Germanic languages. Kurt or Curt originated as short forms of the Germanic Konrad/Conrad, depending on geographical usage, with meanings including counselor or advisor. [60%] 2024-12-16 [English masculine given names] [Masculine given names]...
15. Kurt: Kurt is a male given name in Germanic languages. Kurt or Curt originated as short forms of the Germanic Konrad/Conrad, depending on geographical usage, with meanings including counselor or advisor. [60%] 2025-03-27 [English masculine given names] [Masculine given names]...
16. Adele Gödel: Adele Nimbursky Porkert o también Adele Gödel (Renania-Palatinado, 4 de noviembre de 1899-Doylestown, 4 de febrero de 1981) fue una bailarina de cabaret estadounidense de origen austríaco, conocida por ser la esposa del lógico, matemático y filósofo Kurt ... [56%] 2023-12-25
17. Gödel interpretation: of intuitionistic arithmetic A translation of formulas of intuitionistic arithmetic into formulas of the type $\exists x\forall yA(x,y,z)$, where $x$, $y$ and $z$ are variables of various finite types. Provable formulas of arithmetic are translated into ... (Mathematics) [56%] 2023-12-29
18. Gödel numbering: In mathematical logic, a Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number, called its Gödel number. The concept was developed by Kurt Gödel for the proof ... (Function in mathematical logic) [56%] 2022-10-17 [Mathematical logic] [Theory of computation]...
19. Gödel metric: The Gödel metric, also known as the Gödel solution or Gödel universe, is an exact solution of the Einstein field equations in which the stress–energy tensor contains two terms, the first representing the matter density of a homogeneous distribution ... (Solution of Einstein field equations) [56%] 2022-12-13 [Exact solutions in general relativity] [Metric tensors]...
20. Gödel logic: In mathematical logic, a first-order Gödel logic is a member of a family of finite- or infinite-valued logics in which the sets of truth values V are closed subsets of the unit interval [0,1] containing both 0 ... [56%] 2023-09-28 [Set theory] [Mathematical logic]...