Metraipolis › archive › dc_bcbed22b21dd

Teorema di Rice — Wikipedia

Source: Wikipedia (it)
Original: https://it.wikipedia.org/wiki/Teorema_di_Rice
License (as archived): CC-BY-SA-4.0
Archived: 2026-11-09T21:55:38.523Z
SHA-256 of the archived text: c796fe5f7bbb90002536ec9a609a60194de4d4116562d3b0f48d4b8aebe5768a
Stable URL of this page: https://metraipolis.com/documento/dc_bcbed22b21dd

How to cite

Teorema di Rice — Wikipedia — Wikipedia (it), https://it.wikipedia.org/wiki/Teorema_di_Rice (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_bcbed22b21dd (Metraipolis archive dc_bcbed22b21dd, sha256 c796fe5f7bbb90002536ec9a609a60194de4d4116562d3b0f48d4b8aebe5768a)

BibTeX

@misc{dcbcbed22b21dd,
  title = {Teorema di Rice — Wikipedia},
  howpublished = {Wikipedia (it)},
  url = {https://it.wikipedia.org/wiki/Teorema_di_Rice},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_bcbed22b21dd; sha256 c796fe5f7bbb90002536ec9a609a60194de4d4116562d3b0f48d4b8aebe5768a},
  year = {2026}
}

Archived text

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

Nella logica matematica, nella teoria della calcolabilità e nell'informatica teorica, il teorema di Rice costituisce un importante risultato nella teoria delle funzioni ricorsive e delle funzioni calcolabili (le due sono la stessa cosa, secondo la tesi di Church-Turing). Esso afferma che, per ogni proprietà non banale delle funzioni calcolabili, è non decidibile il problema di decidere quali funzioni soddisfino tale proprietà e quali no. Per proprietà banale in questo caso si intende una proprietà che non effettua alcuna discriminazione tra le funzioni calcolabili, cioè che vale o per tutte o per nessuna. Il teorema prende il nome da Henry Gordon Rice, il quale ne fornì la dimostrazione nel 1951 nella sua tesi di dottorato presso la Syracuse University.

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 «Teorema di Rice» — https://it.wikipedia.org/wiki/Teorema_di_Rice
Wikidata Q1893717: «teorema matematico» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q1893717
Autori: i contributori di Wikipedia (cronologia: https://it.wikipedia.org/wiki/Teorema_di_Rice?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 130385988, consultata il 2026-11-09T21:51:24.290Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: 64600bd2b6c4e834a372ecb718019b1de4f90bd857dc34ad3d1522205f4d7605