Resultados de texto completo:
- Foro
- un par de erratas en la definición de producto de tipos de orden, que se encuentra en la página 45 del l... el punto 4, donde se define el orden lineal en el tipo de orden producto, tengo la sensación de que debe... a interpretación. Es una forma de caracterizar un tipo de ordinales (los de clase II). Lo que si es susc
- Historia de las matemáticas
- toriano de potencia (numerosidad) y los distintos tipos de infinito que permite distinguir ==== ==== (... mbién en qué sentido la teoría russelliana de los tipos proporcionaba una solución y a qué coste ==== ... .........................159 2.4 La teoría de los tipos lógicos ........................................
- Materiales complementarios
- . Lo primero que descubrió fue que no hay un solo tipo de infinito, una sola cardinalidad infinita, sino