sin titulo
Páginas: 2 (303 palabras)
Publicado: 4 de septiembre de 2013
Siglos XIX y XX[editar fuente]
George Boole.
Durante el siglo XIX y XX el desarrollo científico y la creación de modelos teóricos fundados en sistemas de cálculo aplicables tanto enmecánica como en electromagnetismo y radioactividad, etc. así como en astronomía fue impresionante. Las geometrías no euclidianas encuentran aplicación en modelos teóricos de astronomía y física. El mundodeja de ser un conjunto de infinitas partículas que se mueven en un espacio-tiempo absoluto y se convierte en un espacio de configuración o espacio de fases de n dimensiones que físicamente se hacenconsistentes en la teoría de la relatividad, la mecánica cuántica, la teoría de cuerdas etc. que cambia por completo la imagen del mundo físico.
La lógica asimismo sufrió una transformaciónradical.17 La formalización simbólica fue capaz de integrar las leyes lógicas en un cálculo matemático, hasta el punto que la distinción entre razonamiento lógico-formal y cálculo matemático viene aconsiderarse como meramente utilitaria.
En la segunda mitad del siglo XIX y primer tercio del XX, a partir del intento de formalización de todo el sistema matemático, Frege, y de matematización de lalógica, (Bolzano, Boole, Whitehead, Russell) fue posible la generalización del concepto como cálculo lógico. Se lograron métodos muy potentes de cálculo, sobre todo a partir de la posibilidad de tratar como“objeto” conjuntos de infinitos elementos, dando lugar a los números transfinitos de Cantor.
Mediante el cálculo la lógica encuentra nuevos desarrollos como lógicas modales y lógicas polivalentes.Los intentos de axiomatizar el cálculo como cálculo perfecto por parte de Hilbert y Poincaré, llevaron, como consecuencia de diversas paradojas (Cantor, Russell etc.) a nuevos intentos deaxiomatización, Axiomas de Zermelo-Fraenkel y a la demostración de Gödel de la imposibilidad de un sistema de cálculo perfecto: consistente, decidible y completo en 1931, de grandes implicaciones lógicas,...
George Boole.
Durante el siglo XIX y XX el desarrollo científico y la creación de modelos teóricos fundados en sistemas de cálculo aplicables tanto enmecánica como en electromagnetismo y radioactividad, etc. así como en astronomía fue impresionante. Las geometrías no euclidianas encuentran aplicación en modelos teóricos de astronomía y física. El mundodeja de ser un conjunto de infinitas partículas que se mueven en un espacio-tiempo absoluto y se convierte en un espacio de configuración o espacio de fases de n dimensiones que físicamente se hacenconsistentes en la teoría de la relatividad, la mecánica cuántica, la teoría de cuerdas etc. que cambia por completo la imagen del mundo físico.
La lógica asimismo sufrió una transformaciónradical.17 La formalización simbólica fue capaz de integrar las leyes lógicas en un cálculo matemático, hasta el punto que la distinción entre razonamiento lógico-formal y cálculo matemático viene aconsiderarse como meramente utilitaria.
En la segunda mitad del siglo XIX y primer tercio del XX, a partir del intento de formalización de todo el sistema matemático, Frege, y de matematización de lalógica, (Bolzano, Boole, Whitehead, Russell) fue posible la generalización del concepto como cálculo lógico. Se lograron métodos muy potentes de cálculo, sobre todo a partir de la posibilidad de tratar como“objeto” conjuntos de infinitos elementos, dando lugar a los números transfinitos de Cantor.
Mediante el cálculo la lógica encuentra nuevos desarrollos como lógicas modales y lógicas polivalentes.Los intentos de axiomatizar el cálculo como cálculo perfecto por parte de Hilbert y Poincaré, llevaron, como consecuencia de diversas paradojas (Cantor, Russell etc.) a nuevos intentos deaxiomatización, Axiomas de Zermelo-Fraenkel y a la demostración de Gödel de la imposibilidad de un sistema de cálculo perfecto: consistente, decidible y completo en 1931, de grandes implicaciones lógicas,...
Leer documento completo
Regístrate para leer el documento completo.