Work

Gödel’s First Incompleteness Theorem via the Halting Problem

Year: 2021

Type: book-chapter

Source: Computability

DOI: 10.1007/978-3-030-83202-5_8

Author: George Tourlakis

Institution: York University

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4289539472

FWCI: 0.607

Cites: 6

Cited by: 2

Related to: 10