Metraipolis › archive › dc_cb52abbbe258

Predicato T di Kleene — Wikipedia

Source: Wikipedia (it)
Original: https://it.wikipedia.org/wiki/Predicato_T_di_Kleene
License (as archived): CC-BY-SA-4.0
Archived: 2026-11-08T15:29:23.713Z
SHA-256 of the archived text: f05e6bc6bdd8242f60749cffb434b5d866ae02a39eef7eddd99fff282bf8dc2c
Stable URL of this page: https://metraipolis.com/documento/dc_cb52abbbe258

How to cite

Predicato T di Kleene — Wikipedia — Wikipedia (it), https://it.wikipedia.org/wiki/Predicato_T_di_Kleene (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_cb52abbbe258 (Metraipolis archive dc_cb52abbbe258, sha256 f05e6bc6bdd8242f60749cffb434b5d866ae02a39eef7eddd99fff282bf8dc2c)

BibTeX

@misc{dccb52abbbe258,
  title = {Predicato T di Kleene — Wikipedia},
  howpublished = {Wikipedia (it)},
  url = {https://it.wikipedia.org/wiki/Predicato_T_di_Kleene},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_cb52abbbe258; sha256 f05e6bc6bdd8242f60749cffb434b5d866ae02a39eef7eddd99fff282bf8dc2c},
  year = {2026}
}

Archived text

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

In teoria della computabilità, il predicato T, studiato per la prima volta dal matematico Stephen Cole Kleene, è una particolare relazione ternaria sui numeri naturali, che viene utilizzata per rappresentare funzioni calcolabili all'interno delle teorie formali dell'aritmetica. Intuitivamente, il predicato T dice se un particolare programma per computer si fermerà se eseguito su un particolare input, e la corrispondente funzione U viene utilizzata per ottenere i risultati della computazione se il programma si ferma. Come per il teorema smn, la notazione originale usata da Kleene è diventata una terminologia standard per il concetto.

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 «Predicato T di Kleene» — https://it.wikipedia.org/wiki/Predicato_T_di_Kleene
Wikidata Q6420085: «particolare relazione ternaria sui numeri naturali» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q6420085
Autori: i contributori di Wikipedia (cronologia: https://it.wikipedia.org/wiki/Predicato_T_di_Kleene?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 144087671, consultata il 2026-11-08T15:20:34.195Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: e6ac6fdcf517804fea4d6ce48dac0b1b2dc2980dae874c853cd11693b5a55cbc