Ordinal logic
id:
ordinal-logic-307-13629911
title:
Ordinal logic
text:
In mathematics, ordinal logic is a logic associated with an ordinal number by recursively adding elements to a sequence of previous logics. The concept was introduced in 1938 by Alan Turing in his PhD dissertation at Princeton in view of Gödel's incompleteness theorems. While Gödel showed that every recursively enumerable axiomatic system that can interpret basic arithmetic suffers from some form of incompleteness, Turing focused on a method so that a complete system of logic may be constructed
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Ordinal_logic
date created:
date modified:
2024-03-04T08:41:47Z
main entity:
{"identifier":"Q7100788","url":"https://www.wikidata.org/entity/Q7100788"}
image:
fields total:
13
integrity:
13