Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01815813n
Noun Concept
Categories: Mathematical logic
EN
Gödel's β function  Godel's B function  Godel's beta function  Godel's β function  Gödel's beta function
EN
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. Wikipedia
Definitions
Relations
Sources
EN
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. Wikipedia
type of function Wikidata
IS A
function
NAMED AFTER
Godel
Wikipedia
EN
Gödel's β function
Wikidata
EN
Gödel's β function
Wikipedia Redirections
EN
Godel's B function, Godel's beta function, Godel's β function, Gödel's beta function, β function
Wikidata Alias
EN
Gödel's beta function

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License