Teorema de Rice
En teoría de la computación, el teorema de Rice es un teorema enunciado por Henry Gordon Rice y luego generalizado junto con John Myhill y Norman Shapiro a lo que se conoce como el teorema de Rice–Shapiro. Básicamente se puede enunciar el teorema de la siguiente manera: Es un típico problema de decisión que no se puede resolver, al igual que el problema de la parada.
Nº Q1893717 ★★
Poco común · Saberes
Teorema de Rice
En teoría de la computación, el teorema de Rice es un teorema enunciado por Henry Gordon Rice y luego generalizado junto con John Myhill y Norman Shapiro a lo que se conoce como el teorema de Rice–Shapiro. Básicamente se puede enunciar el teorema de la siguiente manera: Es un típico problema de decisión que no se puede resolver, al igual que el problema de la parada.
Último precio
—
Precio mínimo
—
Mediana 7 d
—
Ventas 30 d
0
Rango 30 d
—
En circulación
0
Cotización
mediana
mín – máx
ventas
Sin ventas en el periodo
Ver tabla
| Fecha | mediana | Mín | Máx | ventas |
|---|
Historial de ventas
- Última venta
- —
- Media 30 d
- —
- Mínimo 30 d
- —
- Máximo 30 d
- —
- Ventas 7 d
- 0
- Ventas 30 d
- 0
Aún no hay ventas.
Ventas anónimas: sin comprador ni vendedor. Las cifras solo cuentan ventas entre jugadores.
En Wikipedia
En teoría de la computación, el teorema de Rice es un teorema enunciado por Henry Gordon Rice y luego generalizado junto con John Myhill y Norman Shapiro a lo que se conoce como el teorema de Rice–Shapiro. Básicamente se puede enunciar el teorema de la siguiente manera: Es un típico problema de decisión que no se puede resolver, al igual que el problema de la parada.
Texto: Wikipédia, CC BY-SA 4.0. ·
Cartas cercanas
Problema de la parada
Problema de determinar si un programa dado terminará o continuará ejecutándose por siempre
Nº Q622849 ★★★
Teorías de satisfacibilidad módulo
Nº Q2067766 ★★
Teorema de Cantor
Nº Q474881 ★★
Absoluteness (logic)
In mathematical logic, property of formula that has the same truth value in each of some class of structures
Nº Q4669873 ★
NP-completo
Clase de complejidad
Nº Q215206 ★★★
Solomonoff's theory of inductive inference
Mathematical formalization of Occam's razor that, assuming the world is generated by a computer program, the most likely one is the shortest, using Bayesian inference
Nº Q14947941 ★