La matemática es al menos un lenguaje formal que se cruza con otros lenguajes formales. Los lenguajes formales pueden producir pruebas dentro de los dominios de sus propios marcos lingüísticos o gramáticas . Si corresponden a algo natural, ya sea un lenguaje natural, una intuición o un conjunto de fenómenos que están fuera de sus gramáticas específicas. No prueban nada fuera de sí mismos. Cuando los usamos fuera de sus dominios, generalmente proporcionamos una demostración de su aplicación en el dominio correspondiente como argumento para su aplicabilidad. Por lo tanto, generalmente interpretamos los lenguajes formales como las matemáticas como herramientas lingüísticas potenciales para expresar proposiciones bien formadas sobre dominios informales.
Podríamos preguntarnos si las matemáticas pueden ser lo suficientemente completas como para expresar todo lo que queremos formalizar fuera de las matemáticas. Hay varias razones para pensar que no es así:
- El teorema de incompletitud de Godel demuestra que incluso dentro de las matemáticas, hay fórmulas verdaderas bien formadas que no se pueden probar. Esto puede interpretarse como una extensión matemática de lo incompleto de las inferencias inductivas.
- Casi todo nuestro supuesto conocimiento se basa en inferencias inductivas. En cada inferencia inductiva, hay una brecha entre la verdad de las premisas y la verdad garantizada de la conclusión. Dicho de manera más simple (y con menos precisión), siempre es posible que la información nueva sea inconsistente con nuestra información existente.
- Al menos en su aplicación, las variables matemáticas como los cuantificadores no tienen valor semántico por sí mismas. Funcionan más como adjetivos en lenguaje natural, modificando una frase nominal o alguna otra cadena lingüística que tenga un valor semántico. En lógica, los cuantificadores ayudan a reducir los dominios semánticos en los que sus predicados son verdaderos y existen. Por ejemplo, decimos “existe una x tal que x es tal y tal”. Por “una x”, queremos decir “al menos una x”. Es algo arbitrario lo que es “x”, pero debería ser algo que tenga un valor semántico. En lenguaje natural, por ejemplo, la pregunta “¿Puedo tener uno?” está incompleto a menos que algo esté implícito como en uno , por ejemplo, “¿Puedo tener una manzana?” En Analytics, hacemos la distinción mutuamente exclusiva entre dimensiones y métricas que Rob Weir usa en su respuesta. El nombre de una ciudad como “Chicago” y la clase de “usuarios” son dimensiones que podemos usar para enmarcar cuantitativamente la métrica de “la cantidad de usuarios de Chicago”.
Las matemáticas se pueden aplicar a cualquier dimensión en el sentido de que predicar la existencia implica una cantidad de al menos una. Pero la dimensión en sí misma no es una cantidad, y una cantidad en sí misma no puede predicarse como una dimensión fuera de las matemáticas.
- ¿Cuál es la diferencia entre la disminución del convexo al origen y la disminución del cóncavo al origen a medida que ambos disminuyen?
- ¿Cómo podemos probar que [matemáticas] \ frac {\ zeta (k)} {\ zeta (k + 1)} = \ sum \ limits_ {n = 1} ^ {\ infty} \ frac {| \ mu (n) | \ cdot \ varphi (n)} {n \ cdot J_ {k} (n)} [/ math]?
- ¿Por qué la cardinalidad de [matemáticas] [0,1] [/ matemáticas] es igual a la cardinalidad de [matemáticas] [0,2] [/ matemáticas]?
- Hay un montón de 12 monedas, todas de igual tamaño, pero solo 11 tienen el mismo peso. ¿Puedes encontrar la moneda desigual y determinar si es más pesada o más ligera, en 3 pesadas?
- ¿Cuáles son las condiciones para los máximos y mínimos?