Hispanopedia Wiki
Articulo de referencia

Juan Tromp

John Tromp es un científico informático neerlandés. [ 1 ] Anteriormente trabajó para el Centro Neerlandés de Matemáticas e Informática . [ 2 ] Tromp descubrió el número de estad...

Hispanopedia WikiContenido en espanolLectura gratuita

John Tromp es un científico informático neerlandés. [ 1 ] Anteriormente trabajó para el Centro Neerlandés de Matemáticas e Informática . [ 2 ] Tromp descubrió el número de estados legales del juego de mesa Go , [ 1 ] [ 2 ] y fue coautor, junto con Bill Taylor, de las reglas Tromp-Taylor , [ 3 ] [ 4 ] que denominan "las reglas lógicas del Go". [ 5 ]

También es conocido por su trabajo en lógica combinatoria binaria ( cálculo lambda binario ) y diagramas lambda que proporcionan una forma gráfica de representar expresiones del cálculo lambda. [ 6 ] [ 7 ] Tromp ha investigado un equivalente en cálculo lambda a la función del castor ocupado . [ 8 ]

Referencias

  1. 1 2 Shotwell, Peter (2016). "John Tromp y los grandes números del Go: las posibles posiciones, partidas y la más larga" (PDF) . Asociación Americana de Go . Archivado del original (PDF) el 6 de marzo de 2019.
  2. 1 2 Johnson, Leif (25 de enero de 2016). "Después de 2500 años, se resuelve un misterio de los juegos chinos" . Vice.com . Recuperado el 30 de diciembre de 2017 .
  3. ↑ "Edición de 1995 de las Reglas Tromp-Taylor" . 13 de febrero de 1995. Consultado el 30 de diciembre de 2017 .
  4. ↑ "Edición de 1996 de las Reglas Tromp-Taylor" . Consultado el 30 de diciembre de 2017 .
  5. ↑ "Las reglas del Go" . Asociación Americana de Go . Consultado el 30 de diciembre de 2017 .
  6. ↑ Diagramas Lambda de John Tromp .
  7. ↑ YouTube 2025 .
  8. ↑ Tromp, John (26 de abril de 2026). " El número más grande que se puede representar en 64 bits" . Entropy . 28 (5): 494. doi : 10.3390/e28050494 . ISSN 1099-4300 . PMC 13205354. PMID 42187911 .   
  • Página principal de John Tromp en GitHub
  • Entrada de John Tromp en la Wiki de Programación de Ajedrez
  • "Diagramas Lambda" . Diagramas Lambda . Consultado el 24 de marzo de 2025 .
  • "¿Qué es PLUS por PLUS?" . YouTube . 6 de marzo de 2025 . Consultado el 24 de marzo de 2025 .
  • "Entrevista a Tromp (Los grandes números del Go)" . YouTube . Numberphile . 6 de marzo de 2024.