CLOSED LOOP INTERVAL ONTOLOGY
       The Digital Integration of Conceptual Form
TzimTzum/Kaballah | Loop definition | Home | ORIGIN    
Please sign in
or register

Email *

Password *

Home | About

Select display
Show public menu
Show all theme groups
Show all themes
Show all terms
Order results by
Alphabetical
Most recently edited
Progress level
Placeholder
Note
Sketch
Draft
Polished


Searches selected display

The Many Forms of Many/One
Universal conceptual form

Invocation
Aligning the vision

Project under development
Evolving and coalescing

Guiding motivation
Why we do this

A comprehensive vision
Ethics / governance / science

Cybernetic democracy
Homeostatic governance

Collective discernment
Idealized democracy

Objectives and strategy
Reconciliation and integration

Reconciliation of perspectives
Holistic view on alternatives

What is a concept?
Definitions and alternatives

Theories of concepts
Compare alternatives

What is truth?
How do we know?

Semantics
How meaning is created

Synthetic dimensionality
Foundational recursive definition

Universal hierarchy
Spectrum of levels

A universal foundation
The closed loop ensemble contains
all primary definitions

Set
Dimensions of set theory

Numbers
What is a number?

Venn diagrams
Topology of sets

Objects in Boolean algebra
How are they constructed?

Core vocabulary
Primary terms

Core terms on the strip
Closed Loop framework

Graphics
Hierarchical models

Digital geometry
Euclid in digital space

The dimensional construction
of abstract objects
Foundational method

The digital integration
of conceptual form
Compositional semantics

Closed loop interval ontology
How it works

Cognitive science
The integrated science of mind

Equality
What does it mean?

Formal systematic definitions
Core terms

Data structures
Constructive elements
and building blocks

Compactification
Preserving data under transformation

Steady-state cosmology
In the beginning

Semantic ontology
Domain and universal

Foundational ontology
A design proposal

Coordinate systems
Mapping the grid

Articles
From other sources

Arithmetic
Foundational computation

Plato's republic and
homeostatic democracy
Perfecting political balance

Branching computational architecture
Simultaneity or sequence

Abstract math and HTML
Concrete symbolic representation

All knowledge as conceptual
Science, philosophy and math
are defined in concepts

Does the Closed Loop
have an origin?
Emerging from a point


Theme
Gödel's incompleteness theorems
Placeholder

Definition / description

Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent limitations of every formal axiomatic system capable of modelling basic arithmetic.

Hide Placeholder Note Sketch Draft Polished

Tue, Mar 16, 2021

Reference

Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent limitations of every formal axiomatic system capable of modelling basic arithmetic. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible.

The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of natural numbers. For any such consistent formal system, there will always be statements about natural numbers that are true, but that are unprovable within the system. The second incompleteness theorem, an extension of the first, shows that the system cannot demonstrate its own consistency.

Employing a diagonal argument, Gödel's incompleteness theorems were the first of several closely related theorems on the limitations of formal systems. They were followed by Tarski's undefinability theorem on the formal undefinability of truth, Church's proof that Hilbert's Entscheidungsproblem is unsolvable, and Turing's theorem that there is no algorithm to solve the halting problem.

https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems