5 votos

¿Existen las "matemáticas mecanografiadas"?

En respuesta a ¿Es un conjunto vacío igual a otro conjunto vacío? Tengo otra pregunta.

En matemáticas "no tipificadas" (regulares), dos conjuntos vacíos cualesquiera son iguales. El conjunto de los sombreros invisibles y el conjunto de los plátanos rectos son el mismo conjunto (aunque esto significa que cada sombrero invisible es un plátano recto). En matemáticas "tipificadas", yo pensaría que los conjuntos son desiguales porque el primero es un conjunto de sombreros y el segundo es un conjunto de plátanos.

¿Existen las matemáticas "mecanografiadas"?

2 votos

+1 Siempre me ha molestado que la gente utilizara mis sombreros invisibles como escala.

6voto

Alex Puntos 51

Estás buscando algo como Teoría de tipos

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X