Metraipolis › archive › dc_2cc0ff46bf32

Aritmetica di Robinson — Wikipedia

Source: Wikipedia (it)
Original: https://it.wikipedia.org/wiki/Aritmetica_di_Robinson
License (as archived): CC-BY-SA-4.0
Archived: 2026-10-17T05:57:49.008Z
SHA-256 of the archived text: 30c81e71be8adccec37e581c86beca5d83c450a0ba6e72992c18cfc488a3ec83
Stable URL of this page: https://metraipolis.com/documento/dc_2cc0ff46bf32

How to cite

Aritmetica di Robinson — Wikipedia — Wikipedia (it), https://it.wikipedia.org/wiki/Aritmetica_di_Robinson (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_2cc0ff46bf32 (Metraipolis archive dc_2cc0ff46bf32, sha256 30c81e71be8adccec37e581c86beca5d83c450a0ba6e72992c18cfc488a3ec83)

BibTeX

@misc{dc2cc0ff46bf32,
  title = {Aritmetica di Robinson — Wikipedia},
  howpublished = {Wikipedia (it)},
  url = {https://it.wikipedia.org/wiki/Aritmetica_di_Robinson},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_2cc0ff46bf32; sha256 30c81e71be8adccec37e581c86beca5d83c450a0ba6e72992c18cfc488a3ec83},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (it), https://it.wikipedia.org/wiki/Aritmetica_di_Robinson. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

L'aritmetica di Robinson, denotata solitamente con Q in logica matematica, è una teoria del primo ordine, definita per la prima volta da Raphael M. Robinson nel 1950 che ha come assiomi propri una versione ridotta degli assiomi di Peano in cui è assente il principio di induzione e c'è l'aggiunta di un assioma che afferma che ogni numero naturale diverso da zero è successore di qualche altro numero (cosa che nell'aritmetica di Peano è dimostrabile per induzione). L'interesse dell'aritmetica di Robinson per la logica risiede nel fatto che è la teoria più debole in cui è possibile rappresentare tutte le funzioni ricorsive primitive e di conseguenza è anche la teoria più debole a cui sia applicabile il primo dei teoremi di incompletezza di Gödel.

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in italiano, in ordine alfabetico).
Fonte: Wikipedia in italiano, voce «Aritmetica di Robinson» — https://it.wikipedia.org/wiki/Aritmetica_di_Robinson
Wikidata Q928884: «teoria matematica del primo ordine» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q928884
Autori: i contributori di Wikipedia (cronologia: https://it.wikipedia.org/wiki/Aritmetica_di_Robinson?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 133455354, consultata il 2026-10-17T05:50:34.108Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: c06b83bd9f08572bf5f75dbbd04a911f206c7172dbaadbb157d87f33a5896a9b