To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
Spanish Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Independencia (lógica matemática)

De Wikipedia, la enciclopedia libre

En lógica matemática, la noción de independencia o indecidibilidad se refiere a la imposibilidad de demostrar o refutar un predicado a partir de otros.

Una sentencia σ se dice independiente o indecidible en una teoría lógica T si T no demuestra ni refuta σ; esto es, si no es posible probar σ partiendo de T, ni probar que σ es falsa.

Terminología

El adjetivo indecidible se usa como sinónimo de independiente, por ejemplo, «sentencia indecidible en la teoría T». Sin embargo, indecidible también se usa en el ámbito de la teoría de la computabilidad con otro significado. Un problema indecidible es un problema matemático de respuesta «sí o no» que no puede resolverse mediante un algoritmo. Ambos conceptos son distintos, pero pueden aparecer relacionados entre sí. Por ejemplo, el problema de decisión consistente en determinar si una sentencia es independiente en una teoría T es a menudo indecidible.

También puede ocurrir que «independiente en T» se utilice tan solo en el sentido de «no demostrable en T», en lugar de «no demostrable ni refutable en T», y consistente se utilice entonces en el sentido de «no refutable en T».

Ejemplos de independencia

Muchas sentencias interesantes en teoría de conjuntos axiomática son independientes de la teoría de conjuntos de Zermelo-Fraenkel (ZF). Los siguientes enunciados son independientes de ZF (siempre que ésta sea consistente):

El teorema de incompletitud de Gödel establece la existencia de proposiciones independientes en cualquier teoría que contenga la aritmética de Peano, tales como:

Además se conocen enunciados puramente aritméticos, que no involucran directamente conceptos lógicos, independientes de dichos axiomas:

  • El teorema de Ramsey fuerte.
  • El teorema de Goodstein.

Otro ejemplo muy conocido es el quinto postulado de Euclides, que no puede ser demostrado a partir de los restantes axiomas de la geometría euclídea. Esto demuestra la consistencia de las geometrías no euclídeas.

Referencias

Enlaces externos

Esta página se editó por última vez el 30 sep 2020 a las 13:21.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.