Oddly asymmetric es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
Verificando la afirmación de homeomorfismo de 'standup maths'
el 8 de Agosto, 2021 33 votos - 1 resp
Subconjunto explícito de segundo orden de los naturales.
el 17 de Julio, 2021 1 votos - 1 resp
Área esperada "barrida" en un tablero infinito de Buscaminas
el 7 de Agosto, 2018 8 votos
Últimas Respuestas
- 1 votos
¿Por qué no podemos formalizar el cálculo lambda en la lógica de primer orden?
el 21 de Noviembre, 2022 1 votos
Etiquetas favoritas
- 2 x logic
- 2 x first-order-logic
- 1 x probabilidad
- 1 x recreativo-matemáticas
- 1 x natural-numbers
- 1 x peano-axioms
- 1 x constructive-mathematics