Jesús Pardillo
Se unió el 18 nov 2010
Por favor, si quieres información mía accede a mi página web.
Páginas pendientes de traducción
editarEstas son algunas páginas interesantes que no disponen de traducción al español:
- Cálculo combinatorio SKI
- Máquina de Turing de 2 estados y 3 símbolos de Wolfram
- Máquina universal de Turing
- Axiomas de Tarski
- Universo (matemáticas)
- Universo de Grothendieck
- Par ordenado (completar la página actual)
- Lista de grupos de simetrías planas
- Pick's theorem ampliar la prueba y eliminar los shorriangles
- Teorema de buena ordenación
- Codificación de Church
- Número surreal
- Completitud