Gödel's β function
id:
g-del-s-function-268-1207431
title:
Gödel's β function
text:
In mathematical logic, Gödel's β function is a function used to permit quantification over finite sequences of natural numbers in formal theories of arithmetic. The β function is used, in particular, in showing that the class of arithmetically definable functions is closed under primitive recursion, and therefore includes all primitive recursive functions. The β function was introduced without the name in the proof of the first of Gödel's incompleteness theorems. The β function lemma given below
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/G%C3%B6del%27s_%CE%B2_function
date created:
date modified:
2024-03-02T22:31:08Z
main entity:
{"identifier":"Q5626454","url":"https://www.wikidata.org/entity/Q5626454"}
image:
fields total:
13
integrity:
13