-

Resultados 1 - 10 de 99 para  Wikipedia / Sistema axiomático / Wikipedia    (1043375 Artículos)

Sistema axiomático print that page

En lógica y matemáticas , un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas . Ejemplos de sistemas axiomáticos deductivos son la geometría euclidiana compilada por Euclides en los Elementos [ 1 ] y el sistema

wikipedia.org | 2013/4/20 13:41:08

Alfred Tarski print that pageTimeline of Alfred Tarski

Alfred_Tarski.

Nació el 14 de enero de 1902 en la ciudad de Varsovia , Polonia , y murió el 26 de octubre de 1983 en Berkeley , California , Estados Unidos . De origen judío acomodado, adoptó su apellido definitivo al convertirse en 1923 a la religión mayoritaria en Polonia, el catolicismo . Form

Portal:Matemática print that page

Andrej_Nikolajewitsch_Kolmogorov

La Matemática (del griego μάθημα, máthema : ciencia, conocimiento, aprendizaje, μαθηματικóς, mathematikós : amante del conocimiento) es el estudio de patrones en las estructuras de entes abstractos y en las relaciones entre ellas. Algunos matemáticos se refieren a ella

Bertrand Russell print that pageTimeline of Bertrand Russell

Bertrand_Arthur_William_Russell

Bertrand Russell fue hijo de John Russell, vizconde de Amberley y de Katrine Louisa Stanley. Su abuelo paterno fue lord John Russell , primer conde de Russell, quien fue dos veces primer ministro con la reina Victoria . Su abuelo materno fue Edward Stanley, 2.º barón Stanley de Alderley.

Esquema axiomático de reemplazo print that page

En teoría de conjuntos , el esquema axiomático de reemplazo o axioma de reemplazo es un esquema axiomático —una cierta colección de axiomas — que postula que la imagen de un conjunto por una función definida a través de una fórmula es también un conjunto. Índice

wikipedia.org | 2013/3/17 20:28:23

Cálculo print that page

RomanAbacusRecon

En general el término cálculo (del latín calculus = piedra) [ 1 ] hace referencia, indistintamente, a la acción o el resultado correspondiente a la acción de calcular. Calcular , por su parte, consiste en realizar las operaciones necesarias para prever el resultado de una acción previamente

Formalismo matemático print that page

importantes entre el ajedrez y la aritmética. Las reglas del ajedrez son arbitrarias, mientras que el sistema de re

wikipedia.org | 2013/3/22 21:04:55

Filosofía de la matemática print that page

La filosofía de las matemáticas es un área de la filosofía teórica, que trata de comprender y explicar los requisitos, el objeto, el método y la naturaleza [ 1 ] de las matemáticas . Como área de estudio puede ser aproximada desde dos direcciones: el punto de vista de los filósofos

wikipedia.org | 2013/4/9 21:08:13

Teoremas de incompletitud de Gödel print that page

indecidibles de dicha teoría es aquella que "afirma" la consistencia de la misma. Es decir, que si el sistema en cuestión es consistente, no es posible probarlo dentro del propio sistema . Los teoremas de incompletitud de Gödel son uno de los grandes avances de la lógica matemática,

wikipedia.org | 2013/5/9 22:21:39

Problemas de Hilbert print that page

Los problemas de Hilbert conforman una lista de 23 problemas matemáticos compilados por el matemático alemán David Hilbert para la conferencia en París del Congreso Internacional de Matemáticos de 1900 . Los problemas estaban todos por resolver en aquel momento, y varios resultaron

wikipedia.org | 2013/4/2 23:29:42