A metrizable semitopological semilattice with non-closed partial order by Banakh Taras, Bardyla Serhii, Ravsky Alex

Get full text

Fuir la complétude ou Le métarécit intermédial des Faux-monnayeurs by Antonio Viselli

“…Finally, intermediality joins interdisciplinarity, and by applying Kurt Gödel’s mathematic and philosophical theorem – the incompleteness theorem –, textual verticality, synonymous with Gide’s metanarrative, reaches its height and further reinforces the themes of the “false” and the “copy” in a counterfeit novel.…”
Get full text

Fuir la complétude ou Le métarécit intermédial des Faux-monnayeurs by Antonio Viselli

“…Finally, intermediality joins interdisciplinarity, and by applying Kurt Gödel’s mathematic and philosophical theorem – the incompleteness theorem –, textual verticality, synonymous with Gide’s metanarrative, reaches its height and further reinforces the themes of the “false” and the “copy” in a counterfeit novel.…”
Get full text

The Notion of Explanation in Gödel’s Philosophy of Mathematics

“…DOI: http://doi.org/10.26333/stsen.xxx.05 The article deals with the question of in which sense the notion of explanation (which is rather characteristic of empirical sciences) can be applied to Kurt Gödel’s philosophyof mathematics. Gödel, as a mathematical realist, claims that in mathematics we are dealing with facts that have an objective character (in particular, they are independent of our activities). …”
Get full text

Remarks on Ludwig Wittgenstein’s Whole aim in his way of doing Philosophy by Gustavo Augusto Fonseca

“…And to illustrate Wittgenstein’s failure, it examines his disputes with mathematicians Kurt Gödel and Alan Turing on the foundations of mathematics.…”
Get full text

Sobre la necesidad epistemológica de la investigación cualitativa en salud by Segura-Balbuena, Manuel, Cejudo-López, Ángela, Gil-García, Eugenia, Santos, José Manuel, Ortega-Calvo, Manuel

“…Los trabajos de Georg Cantor sobre el concepto de infinito y sobre la teoría de conjuntos y las investigaciones lógicas de Kurt Gödel sobre la incompletitud han zarandeado la claridad de la aritmética elemental. …”
Get full text

The Right Order of Concepts: Graßmann, Peano, Gödel and the Inheritance of Leibniz's Universal Characteristic by Paola Cantù

“…Three case studies will be taken into account: Hermann Graßmann, Giuseppe Peano and Kurt Gödel. The main claim will be that the choice of primitive concepts was not only a question of convenience in modern hypothetico-deductive investigations, but sometimes also the result of philosophical investigations onto the foundation of scienti­fic disciplines. …”
Get full text

Observações sobre a filosofia da matemática de Ludwig Wittgenstein by Gustavo Augusto Fonseca Silva

“…Neste artigo, tem-se por objetivo explicitar algumas inconsistências e contradições no pensamento matemático de Wittgenstein que ratificam as críticas que esse autor vem recebendo há décadas, mas que não tiveram a mesma atenção dos especialistas que os comentários de Wittgenstein sobre os teoremas da incompletude de Kurt Gödel e suas discussões com Alan Turing sobre os fundamentos da matemática.…”
Get full text

Matemática y complejidad by Luis Arturo Polanía Quiza, Daniel Enrique Ovalle Cerquera, Juan David Cárdenas Lis

“…Además, se entiende el Teorema de Incompletud de Kurt Gödel, como una de las más significativas razones que puede argumentar la insuficiencia teórica de la lógica clásica a partir de fundamentos matemáticos, ajustándose a la noción de indecidibilidad de Murray Gell-Man, y así, abrir las puertas a las lógicas no clásicas, en particular, a la lógica del tercero incluido como la lógica de la complejidad. …”
Get full text

Simultaneously vanishing higher derived limits by Jeffrey Bergfalk, Chris Lambie-Hanson

Get full text

Functorial Fast-Growing Hierarchies by J. P. Aguilera, F. Pakhomov, A. Weiermann

Get full text

Visualization of the Gödel universe by M Buser, E Kajari, W P Schleich

“…The simplest of these models is the cosmological solution discovered by Kurt Gödel, which describes a homogeneous, rotating universe. …”
Get full text

A BRIEF HISTORY OF HUMAN POWERED FLIGHT: FROM PHYSIOLOGY TO PHILOSOPHY by Pietro Enrico di Prampero

“…In such formal systems, "theorem" is a string of symbols that can be arrived at in a finite number of steps from the axioms, applying the canonical operational rules. However, as Kurt Gödel showed in 1931, it is possible to demonstrate that, within a sufficiently powerful formal system, there exists demonstrably true strings of symbols that are not theorems. …”
Get full text

On Martin-Löf’s Constructive Optimism by V. Alexis Peluce

“…DOI: http://doi.org/10.26333/sts.xxxiv1.10 In his 1951 Gibbs Memorial Lecture, Kurt Gödel put forth his famous disjunction that either the power of the mind outstrips that of any machine or there are absolutely unsolvable problems. …”
Get full text

Logic, Game Theory, and Social Choice: What Do They Have in Common? by Harrie de Swart

“…If we apply mathematical reasoning to elementary arithmetic, i.e., the addition and multiplication of natural numbers, it turns out that almost all true arithmetical statements, for instance, <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mo>∀</mo><mi>x</mi><mo>∀</mo><mi>y</mi><mo>[</mo><mi>x</mi><mo>+</mo><mi>y</mi><mo>=</mo><mi>y</mi><mo>+</mo><mi>x</mi><mo>]</mo></mrow></semantics></math></inline-formula>, can be logically deduced from the axioms of Peano. However, in 1931 Kurt Gődel showed that the axioms of Peano do not (fully) characterize the addition and multiplication of the natural numbers, more precisely, that there are certain special self-referential arithmetical sentences that, although true, cannot be deduced from Peano’s axioms. …”
Get full text

Kant, Gödel, and the problem of synthetic a priori judgements by Pushkarsky A. G.

“…Of interest are the ideas of the great logician and mathematician Kurt Gödel about the analytical nature of mathematics, put forward in a number of his works on philosophy of mathematics. …”
Get full text

The Problem of Personal Security: An Analysis of Basic Concepts and Approaches to Modeling by Valeriy V. Likholetov, Asat G. Abdullin

“…In the case of insufficient evidence to confirm the hypotheses put forward at specific levels of the system hierarchy, we carried out the transition to the super system, as required by the conclusion following from the proofs of Kurt Gödel’s well-known theorems “On incompleteness”. …”
Get full text

Um desfile de escola de samba em homenagem a Gödel by Rosemeire de Fátima Batistela

“…Neste artigo apresentamos a vida e a obra de Kurt Gödel (1906 – 1978) e o fizemos por meio da descrição e comentários de/sobre um fictício desfile de escola de samba homenageando-o bem como dos bastidores do desfile. …”
Get full text

Crisis del escepticismo ético by Francisco Carpintero-Benitez

“…En el campo más teórico, Kurt Gödel deshizo los sueños matemáticos de construir un universo científico que gozara de la precisión matemática. …”
Get full text

A Semigroup Is Finite Iff It Is Chain-Finite and Antichain-Finite by Iryna Banakh, Taras Banakh, Serhii Bardyla

Get full text