Definiciones de términos técnicos
La lógica de primer orden (FOL) es un sistema lógico utilizado en matemáticas, filosofía, lingüística e informática. Va más allá de la lógica proposicional, que se limita al estudio de los valores de verdad, al estudio de las relaciones entre objetos. En FOL, se puede hablar de objetos y sus propiedades, y de relaciones entre … Leer más
El último teorema de Fermat (FLT) es un teorema matemático que afirma que no hay tres enteros positivos a, b y c que puedan satisfacer la ecuación an + bn = cn para cualquier valor entero de n mayor que 2. El teorema lleva el nombre de Pierre de Fermat, que lo propuso por primera … Leer más
La notación polaca (notación de prefijo) es una notación para la lógica, la aritmética y el álgebra en la que el operador precede a los operandos. También se conoce como notación prefija porque el operador se coloca antes de los operandos. Por el contrario, la notación infija, la más utilizada para la aritmética y el … Leer más
Un «marica» es un término utilizado para describir a una persona inexperta o inexperta en una tarea o actividad concreta. El término también puede utilizarse para describir a alguien que es excesivamente tímido o cobarde. ¿Cuál es otro nombre para una persona que no tiene experiencia o es inexperta en una tarea o actividad particular? … Leer más
Un sniglet es una palabra que debería estar en el diccionario pero no lo está. El término fue acuñado por el cómico Richard Lewis en su libro de 1984 «Sniglets: Words that Should Be in the Dictionary (But Aren’t)». Un «sniglet» suele ser una palabra inventada que describe una cosa o un sentimiento específico, y … Leer más
La computación comunitaria es un tipo de computación distribuida en la que los recursos informáticos se ponen a disposición de una comunidad de usuarios. Esto puede hacerse de varias maneras, como por ejemplo a través de un clúster de ordenadores, una red o una nube. La computación comunitaria puede utilizarse para diversos fines, como la … Leer más
El coche de Leonardo da Vinci es un término utilizado para describir un tipo de vehículo impulsado por un mecanismo accionado por resorte. Este tipo de coche fue diseñado por primera vez por Leonardo da Vinci durante la época del Renacimiento. El diseño del carro de Leonardo da Vinci se ha utilizado como base para … Leer más
La undécima dimensión es una dimensión hipotética más allá de las 10 dimensiones conocidas de nuestro universo. La teoría de cuerdas sugiere que puede haber 11 dimensiones en total, pero sólo 10 de ellas son directamente observables. Se cree que la undécima dimensión es la responsable del comportamiento de las partículas a escalas extremadamente pequeñas, … Leer más
La estratificación es una técnica utilizada en la programación informática para ayudar a organizar el código en capas separadas. Al dividir el código en capas, se vuelve más fácil de manejar y entender, y también puede ayudar a prevenir errores. Hay muchas maneras diferentes de estratificar el código, pero un enfoque común es crear una … Leer más
En física, una teoría de campo unificado (TCP) es un tipo de teoría de campo que permite que todo lo que normalmente se considera distinto en física se escriba en términos de un único aspecto de la realidad, una fuerza unificadora o un conjunto de parámetros. Una teoría de campos es una teoría física que … Leer más