Tennenbaum's theorem
id:
tennenbaum-s-theorem-312-12227649
title:
Tennenbaum's theorem
text:
Tennenbaum's theorem, named for Stanley Tennenbaum who presented the theorem in 1959, is a result in mathematical logic that states that no countable nonstandard model of first-order Peano arithmetic (PA) can be recursive.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Tennenbaum%27s_theorem
date created:
date modified:
2024-02-03T10:30:21Z
main entity:
{"identifier":"Q2226803","url":"https://www.wikidata.org/entity/Q2226803"}
image:
fields total:
13
integrity:
13