Menéame: comentarios [2619758]

#142 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Sat, 28 May 2016 14:37:20 +0000

Recomiendo a todo el mundo que ha sentido interés, este libro si aún no lo ha leído (y si lo ha leído, también): es.wikipedia.org/wiki/Gödel,_Escher,_Bach:_un_Eterno_y_Grácil_Bucle

» autor: suzudo

#141 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Sat, 28 May 2016 03:08:26 +0000

Quería decir algo pero tenía problemas de conexión

Sobre la dependencia de la ciencia del lenguaje:

Una parte relevante o como se manifiesta el lenguaje en ciencia es con los sistemas de medida. Llamar a una distancia dada metro y usar esa como unidad o usar otro tamaño o otros nombres para cada propiedad es arbirario. Pero una vez decidido un lenguaje con unas referencias lo que se ha de hacer es que todos acepten el mismo sistema de unidades y no sea cambiado arbitrariamente para entenderse

En cada sistema de unidades las cantidades en forma de números serán diferentes pero se referirán a los conceptos de ese sistema por lo que se puede pasar de uno a otro. COnstantes universales en realidad podrían y algunas pueden cambiar de valores si se cambia el sistema de unidades y por tanto el que se utiliza para dar estas

Además si no tenemos unidades para la presión o cualquier cosa el lenguaje no será suficientemente potente para los modelos científicos y deberá ser ampliado

Pasar las medidas y/ resultados de un sistema de unidades a otro es traducir y una traducción matemática para que tengan los valores su sentido

Pero ¿las leyes de la física son diferentes para cada sistema de unidades, para cada lenguaje?

NO

¿son fruto de un sistema de unidades concreto y con otro son otras -es decir creación exclusiva del lenguaje la ciencia y no el lenguaje una herramienta- ?

NO, son independientes en realidad pero lo necesitan para ser expresadas

Lo que si puede variar en las leyes físicas son los valores de constantes o incluso que aparezcan o no algunas en la forma de escribir leyes físicas según el sistema de medidas pero no más

Y creo que esto es bastante claro sobre alguna cosa de lo que se ha afirmado anteriormente

» autor: suzudo

#140 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Fri, 27 May 2016 02:41:00 +0000

#139 ese decir una falacia de petición de principio como una catedral. Para un lógico hacer una violación tan grande de las reglas de la lógica lo más disimulada posible pues...

» autor: suzudo

#139 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Snow7 — Fri, 27 May 2016 00:14:43 +0000

#138 Gödel basa su definición a partir del postulado de Anselmo de Canterbury, parafraseando señaló a dios como el ser más grande en el universo. Nada hay más que se pueda imaginar. Por el contrario, si dios no existiera, entonces un ser superior de alguna forma tiene que existir, las cosas no se crearon de la nada hace millones de años. Como no fue posible explicar eso, entonces por definición, dios tuvo que existir. Algo así.

» autor: Snow7

#138 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Thu, 26 May 2016 19:29:53 +0000

#133

La existencia y la inexistencia sigue reglas diferentes de afirmaciones y negaciones de verdad y falsedad de un sistema formal (algo infalsable por naturaleza y enunciado no se puede probar ni si ni no pero no existe al ser totalmente seguro que es fruto de la fantasía y nada más)

Una cosa es el lenguaje y otra la referida mediante este pero es que

Esta definición
--
Definición. Algo es semejante-a-Dios si, y solamente si, posee todas las propiedades positivas.
--

En realidad es un axioma que fuerza una definición para el concepto Dios a medida. Quítese el término "Dios" y póngase otro nombre sin connotación

» autor: suzudo

#137 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Thu, 26 May 2016 16:17:23 +0000

#136

**
#136 #126 La ideas seculares ponen a menudo el bien del estado y del partido sobre la gente.
**

¿y? ¿es para darme la razón?

***
La mayoría de las religiones dan un caracter sagrado a la naturaleza humana, y raramente ponen su bienestar en riesgo.
***
por que tu lo digas. por ejemplo la extensión del VIH en el áfrica etc

***
Prueba de esto es que mebos del 7% de los conflictos bélicos son religiosos. De hecho, los peores conflictos fueron por ideas seculares.
***

Vuelves a caer en esa falsa dicotomía que te decía para argumentar de nuevo a partir de la misma

» autor: suzudo

#136 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--8993-- — Thu, 26 May 2016 13:50:17 +0000

[Usuario deshabilitado]

» autor: --8993--

#135 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

nergeia — Thu, 26 May 2016 07:50:54 +0000

#1 Lo de Gödel lo conocia, pero la Constante de Chaitin me ha dejado el culo torcido.

» autor: nergeia

#134 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Thu, 26 May 2016 02:59:02 +0000

#129
*
. Lo que yo he dicho es que la ciencia es una forma especializada del lenguaje.
*

Lo que he negado dado que no es el lenguaje el que decide lo que es ciencia o no. He dicho que depende del lenguaje pero no es este lo que decide o no lo que es ciencia.

La ciencia es lo que se dice de la realidad con un lenguaje. Pero con el mismo lenguaje se puede decir mentiras sobre la reralidad o describirla correctamente dependiendo de su potencia y capacidad y de lo que se haga con el mismo

Ergo la ciencia no es una forma del lenguaje aunque queda limitada por el lenguaje elegido que se disponga en ese momento. Lenguaje que se podrá ampliar

*+
Los principios de la lógica (identidad, no contradicción, tercio excluso, etc.) están incluidos en el lenguaje natural implícitamente, no son independientes de él, no son extralingüísticos.
**

NO son independientes pero sí son extralingüísticos. Están fuera de él y dentro de él. Está cuando se procesa información con o sin lenguaje (por ejemplo percepciones de la realidad) y la información contiene certezas o verdades del mundo

Por cierto el "o A o no A" o principio excluido se puede derivar de los dos axiomas identidad y no contradicción. Son estos los más fundamentales y los que dan la definición de verdad o falsedad

Esos principios son precisamente lo que se quiere si lo que se dice con el lenguaje (o las ideas que se tienen o lo que se percibe) es cierto o falso o sea si los cumplen o no los cumplen

*
La lógica no es más que una forma depurada de lenguaje con unos propósitos concretos (no ambigüedad, univocidad, etc). No veo dónde está la duda. Sin lenguaje natural no hay ciencia ni lógica posible.
*

Sin lenguaje natural o lenguaje formal y No he dicho lo contrario.

En realidad no hay ciencia posible sin haber una consciencia detrás. es decir la ciencia es fruto de una actividad de la consciencia pero la ciencia no es una forma de la misma consciencia que la hace como no es una forma del mismo lenguaje sino que el lenguaje es una herramienta necesaria para hacerla y expresarla ¿entiendes?

con lenguaje se puede no tener nada de ciencia o cosas contrarias a la ciencia

» autor: suzudo

#133 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Snow7 — Thu, 26 May 2016 01:11:56 +0000

Respecto a la Teoría incompleta de Gödel, una de las teoría ontológica en relación a la existencia de Dios, es :

Axioma 1. (Dicotomía) Una propiedad es positiva si, y sólo si, su negación es negativa.
Axioma 2. (Cierre) Una propiedad es positiva si contiene necesariamente una propiedad positiva.
Teorema 1. Una propiedad positiva es lógicamente consistente (por ejemplo, existe algún caso particular).
Definición. Algo es semejante-a-Dios si, y solamente si, posee todas las propiedades positivas.
Axioma 3. Ser semejante-a-Dios es una propiedad positiva.
Axioma 4. Ser una propiedad positiva (lógica, por consiguiente) es necesaria.
Definición. Una propiedad P es la esencia de x si, y sólo si, x contiene a P y P es necesariamente mínima.
Teorema 2. Si x es semejante-a-Dios, entonces ser semejante-a-Dios es la esencia de x.
Definición. NE(x): x existe necesariamente si tiene una propiedad esencial.
Axioma 5. Ser NE es ser semejante-a-Dios.
Teorema 3. Existe necesariamente alguna x tal que x es semejante-a-Dios.

» autor: Snow7

#132 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

TetraFreak — Thu, 26 May 2016 00:50:14 +0000

#116 Vale. Mejor asi:
Confundes ciencia con economía de mercado.

» autor: TetraFreak

#131 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

TetraFreak — Thu, 26 May 2016 00:14:42 +0000

#130 No te digo que no. Pero en el momento que un sistema funciona en base un axioma, depende de una verdad que no ha sido demostrada. otra cosa es mezcla churras con merinas y sacar a Dios a colacion.

» autor: TetraFreak

#130 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

maria1988 — Wed, 25 May 2016 22:19:51 +0000

#96 Conozco el teorema de incompletitud (soy matemática). Que de las matemáticas surjan hipótesis indemostrables no significa que las que se demuestran no sean verdad. Todo lo que se demuestra en matemáticas es cierto, lo cual no implica que todas las hipótesis ciertas sean demostrables.

» autor: maria1988

#129 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

casicasi — Wed, 25 May 2016 21:25:53 +0000

#122 Es que, salvo que me haya despistado, yo no he dicho que la ciencia sea arbitraria ni que el lenguaje produzca la ciencia. La ciencia es un producto de nuestra conciencia, y el lenguaje también. Lo que yo he dicho es que la ciencia es una forma especializada del lenguaje. Porque no hay otra forma de hacer ciencia que comunicándola, y no hay otra forma de comunicación social eficaz para transmitir esa cosa llamada ciencia que el lenguaje.

Los principios de la lógica (identidad, no contradicción, tercio excluso, etc.) están incluidos en el lenguaje natural implícitamente, no son independientes de él, no son extralingüísticos. La lógica no es más que una forma depurada de lenguaje con unos propósitos concretos (no ambigüedad, univocidad, etc). No veo dónde está la duda. Sin lenguaje natural no hay ciencia ni lógica posible.

» autor: casicasi

#128 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Maelstrom — Wed, 25 May 2016 21:21:33 +0000

#13 Imaginemos ciertos axiomas que son evidentes a la razón y, por tanto, verdaderos. O como mínimo, por adecuarnos a un sentido general que podamos poner en común en cuanto a lo que entendamos por verdadero o falso, adjudiquémosles un cierto valor de verdad, ya sea a priori o a posteriori, sintéticamente o analíticamente, que resulte obvio a nuestra razón común (común para ambos). Pues bien, conservando ese valor de verdad, se puede deducir, empleando #118, que ciertas proposiciones en dicha axiomática conducen a fórmulas que son indemostrables pero a su vez ciertas o verdaderas (mediante o a través de esa verosimilitud o certeza predicada de aquellos axiomas). Y esto por pura regla silogística y demostrativa. Siempre, claro, dentro de ese sistema axiomático.

» autor: Maelstrom

#127 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

LadyStorm — Wed, 25 May 2016 21:14:36 +0000

#24 El teologo está recurriendo de forma torticera, como es habitual, al teorema de Gödel.

Pues no es el teólogo el que recurre a Gödel, sino el físico:

Conversamos con el teólogo Javier Prades (Madrid, 1960) y el científico Juan José Gómez Cadenas [...]
Juanjo: En efecto, el hecho de que la ciencia, hoy en día, sea tan predominante a la hora de explicar el mundo tiene mucho que ver con el gran éxito que ha tenido en su ámbito. Pero eso no implica que no tenga limitaciones. El teorema de Gödel asegura la existencia de proposiciones que son a la vez ciertas e indemostrables.
[...]
Juanjo: Hay cosas que son verdad y es indemostrable que sean verdad. Y esto es un tema matemático, no es una afirmación filosófica.

» autor: LadyStorm

#126 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 20:46:00 +0000

#125

**
#125 #110 Claro que la equivalencia no es exacta.
**+
NO es que no sea exacta. Es que es una estupidez. Mezclas dos cosas diferentes como la misma para generalizar a gusto de lo que quieres defender sin importar la realidad objetiva de los hechos

Ateo es no creer en dioses sin importar la creencia o no creencia

el marxismo es una creencia económica y social

**
Cualquier idea puede ser violenta o pacífica y la religion no ha demostrado ser más violenta que las ideas de poder político, riquezas, e includo ciencia sin ética, como experimentaban los nazis.
**
Hay religiones y religiones. Las religiones dan violencia cuando ponen a una cosa como bien supremo por encima de las personas. Cuando el bien supremo no son las personas mismas sino dios, el marxismo o el partido nazi, la raza o cualquier cosa. Cuando la religión se cree la verdad absoluta y no acepta ni la duda ni la critica ni a los que dudan y/o critican

Pero hay religiones y religiones incluso religiones ateas

No es que tu equivalencia no sea muy exacta. Es que es un absurdo ridículo. lógicamente sin sentido

» autor: suzudo

#125 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--8993-- — Wed, 25 May 2016 20:37:16 +0000

[Usuario deshabilitado]

» autor: --8993--

#124 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 20:19:31 +0000

#87 O una cosa es la realidad y otra lo que se ha dicho y expresado con palabras e ideas sobre esa realidad más o menos acertadamente sobre ella

» autor: suzudo

#123 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 20:14:35 +0000

#9 el teorema de incompletitud se refiere a los sistemas formales, al lenguaje con el que se puede decir cosas ciertas y falsas sobre la realidad, y a dios se le supone existencia enunciada objetiva ajena al lenguaje o no utilizado para expresarla.. POr tanto no se han de mezclar

» autor: suzudo

#122 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 20:08:45 +0000

#120
**
#120 #114 Es principio general de los lenguajes formales que han de ser traducibles al lenguaje ordinario. No puede ser de otra manera: no se puede comunicar ninguna realidad extralingüística, y la ciencia debe ser, por definición, comunicable (de lo contrario no es ciencia). Sin lenguaje no hay ciencia. En realidad, sin lenguaje no hay nada, o por lo menos, no hay nada socialmente relevante.

Lo que me lleva a pensar que la ciencia, en sus diferentes variantes (ciencia formal, ciencia natural, ciencia social) no es más que una variante especializada del lenguaje, y por tanto inseparable de él. Ciencia y lenguaje no son separables, por tanto
*+

Y dale. Se pueden separar dado que puedes usar otro lenguaje. Lo que ha de cumplir ese lenguaje y la ciencia son los axiomas de identidad y el de no contradicción. Eso es el punto real que no es separable. Eso

Eso es lo que me estás intentando relativilizar: lo que no es relativo ni lo puede ser.

**
Lo que me lleva a pensar que la ciencia, en sus diferentes variantes (ciencia formal, ciencia natural, ciencia social) no es más que una variante especializada del lenguaje, y por tanto inseparable de él.
*+
Es inseparable pero no es parte del lenguaje. El lenguaje ha de ser tan potente como para decir tantas cosas de forma que la realidad sea una de ellas. POr ejemplo juan tiene un gato en los brazos, juan tiene unos brazos en gato. El gato tiene unos brazos llamados juan etc.

Pero que la realidad sea un subconjunto. Los lenguajes hacen eso porque los creamos a partir de la realidad. El lenguaje formal preferido de la ciencia parte de los axiomas de no contradicción y de indentidad. la lógica y las matemáticas son la infinidad de formas en que se puede expresar esos axiomas contenidos de una u otra forma

Por tanto la ciencia no es producto del lenguaje sino del contraste con la realidad pero depende y está limitada por el lenguaje. El lenguaje no decide cual es la realidad válida sino el método científico pero el modelo de la realidad estará limitado en su expresión al lenguaje disponible en cada momento (que puede ser ampliado)

El punto es que ese lenguaje serán formas de los axiomas de identidad y de no contradicción. Los axiomas de la lógica y las matemáticas. Y como es eso lo que se quiere obtener de la realidad en un modelo de la misma no limita la ciencia ni crea la ciencia sino que nos permite la certeza de sus modelos. POr eso es elegida lógica y matemáticas como lenguaje preferido por la ciencia

**
La cuestión del idioma es indiferente para mi argumentación, en el sentido de que pienso que todos los idiomas son traducibles entre sí (y ya sé que esto es mucho decir, pero bueno, todo sea por acotar el debate).
**

Exactamente. Porque hay unos principios comunnes que no es el lenguaje "que crea la ciencia" arbitrarios como sugerirías sino los de identidad y de no contradicción

Es decir que la ciencia no es algo arbitrario sujeto a la arbitrariedad de un lenguaje arbitrario como pareces sugerir sino todo lo contrario es lo menos arbitrario que se dispone en cada momento

El problema que crees ver no es de la ciencia en sí misma, es NUESTRO como humanos

Es como decir que la ciencia es una creación del proceso de información o de las redes neuronales llamadas cerebros humanos...

Si y no. Dado que con un método se hace que la realidad juzgue la certeza de cada hipótesis y descarte unas y afiance otras

» autor: suzudo

#121 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

casicasi — Wed, 25 May 2016 19:50:32 +0000

#119 La religión nace cómo la fascinación de un mundo que no podemos explicar completamente, cómo una respuesta ante la impotencia de la muerte inevitable, o cómo testimonio de unos milagros que personalmente no podemos presenciar.

La ciencia nace de la misma fascinación.

» autor: casicasi

#120 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

casicasi — Wed, 25 May 2016 19:47:53 +0000

#114 Es principio general de los lenguajes formales que han de ser traducibles al lenguaje ordinario. No puede ser de otra manera: no se puede comunicar ninguna realidad extralingüística, y la ciencia debe ser, por definición, comunicable (de lo contrario no es ciencia). Sin lenguaje no hay ciencia. En realidad, sin lenguaje no hay nada, o por lo menos, no hay nada socialmente relevante.

Lo que me lleva a pensar que la ciencia, en sus diferentes variantes (ciencia formal, ciencia natural, ciencia social) no es más que una variante especializada del lenguaje, y por tanto inseparable de él. Ciencia y lenguaje no son separables, por tanto.

Nota: cuando digo lenguaje me refiero a lenguaje, y no a idioma (inglés, bereber o castellano). La cuestión del idioma es indiferente para mi argumentación, en el sentido de que pienso que todos los idiomas son traducibles entre sí (y ya sé que esto es mucho decir, pero bueno, todo sea por acotar el debate).

» autor: casicasi

#119 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Patrañator — Wed, 25 May 2016 19:46:23 +0000

#115 La religión nace cómo la fascinación de un mundo que no podemos explicar completamente, cómo una respuesta ante la impotencia de la muerte inevitable, o cómo testimonio de unos milagros que personalmente no podemos presenciar.

» autor: Patrañator

#118 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Maelstrom — Wed, 25 May 2016 19:39:43 +0000

#12 En un sistema axiomático T que comprenda o contenga la aritmética de los números sea la proposición G:"Este teorema no se puede demostrar". Ergo si en T la proposición G no se puede demostrar, entonces G, que dice expresamente que no se puede demostrar, es cierta en T.

Gödel lo que hizo es crear un sistema de numeración equivalente al de la aritmética natural en el que pudieran expresarse numéricamente, o como fórmulas, sentencias o proposiciones como la anterior. A lo que llegó, precisamente, es a que había fórmulas como G, numéricamente expresadas, que era imposible que pudieran demostrarse; y como esa G era una fórmula que expresaba su propia indemostrabilidad, entonces resulta que al no poder demostrarse es cierta.

» autor: Maelstrom

#117 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

casicasi — Wed, 25 May 2016 19:37:59 +0000

#83 Desde mi humilde punto de vista, la lógica es una coincidencia estructural entre el mundo que percibimos como externo (la realidad) y el mundo que percibimos como interno (la conciencia). Algo por otro lado inevitable, puesto que en el fondo, la conciencia es una parte de la realidad.

» autor: casicasi

#116 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Patrañator — Wed, 25 May 2016 19:36:07 +0000

#99 El resultado en la URSS fue Chernobyl, además de tener un arsenal atómico a la altura de EEUU gracias a la Guerra Fría.
La planificación centralizada era la del partido y aunque no era el dinero lo que más contaba los resultados ecológicos saltan a la vista.

Yo prefiero la Ciencia(saco de sus dominios las "ciencias económicas" y las "ciencias políticas", para mi son excusas de barbaridades) y nos puede salvar la vida, pero por sí sola no nos sacará de los problemas de tendencia creciente en los que también participa.

» autor: Patrañator

#115 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

casicasi — Wed, 25 May 2016 19:32:18 +0000

#27 Yo no soy creyente en absoluto, pero pienso que no hay que simplificar tanto el fenómeno religioso. De la misma manera, no hay que confundir religión con espiritualidad, o religión institucionalizada (iglesia) con creencia.

Feyerabend, Kuhn, o mismamente la escuela de Frankfurt hace tiempo que mostraron con innumerables ejemplos que la separación entre razón y fe, conocimiento y creencia, ciencia y religión, no está marcada con una raya, sino con un borde muy difuso.

» autor: casicasi

#114 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 19:31:07 +0000

#113 el lenguaje es la lógica y las matemáticas y este demuestra la veracidad o falsedad de sus teoremas mediante razonamiento a partir de axiomas, postulados y premisas

La ciencia tiene teorías o modelos de la realidad que jamás son verdaderos pero con certeza limitada y parcial objetivamente real. Se prueban mediante contraste con la realidad usando el método científico pero se necesita un lenguaje preciso y carente de ambigüedad para poderlos expresar de la forma más clara, concisa, precisa y menos ambigua posible. Puede usar el castellano le kinglon pero prefiere la lógica y las matemáticas por encima por esos criterios

pero se pueden separar lenguaje y ciencia dado que la puedes expresar en otros idiomas. Lo importante es que todos los lenguajes con que se exprese naturales o formales todos han de respear los axiomas de identidad y de no contradicción precisamente porque eso es lo que se pretende conseguir entre lo dicho y la realidad

Que haya una identidad lo más plena posible entre ambos y por eso mismo que no haya contradicciones entre ambos

No es tan difícil separar porque se puede expresar peor o mejor con diferentes lenguajes lo que no se puede separar es de esos dos axiomas

» autor: suzudo

#113 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

casicasi — Wed, 25 May 2016 19:25:15 +0000

#104 Es difícil separar lenguaje y ciencia. La ciencia es una descripción de la realidad hecha mediante de lenguaje.

» autor: casicasi

#112 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

WalkmanFM — Wed, 25 May 2016 19:23:46 +0000

#96 Todas las cosas que las matemáticas demuestran son verdad -esto significa que las matemáticas son consistentes-, pero todas las cosas que son verdad no son demostrables por las matemáticas -esto significa que no son completas-.

» autor: WalkmanFM

#111 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 19:00:51 +0000

#93
*
#93 #27 La ciencia no demuestra que nada sea cierto porque no se puede saber si algo es cierto, se puede saber si algo es probablemente cierto,
*
Se trata de usar términos y palabras

Usas cierto por sinónimo de verdad o verdadero. Y no puede probar si algo es verdadero o no pero sí si es cierto o menos cierto

porque algo es verdad o no es verdad

pero algo puede ser más o menos cierto. Si algo es puesto bajo falsación y resulta que no es falso entonces no implica que sea verdad. Pero tiene una certeza real al no ser falso.

En esto uso certeza como algo relativo a otra certeza, como algo que puede ser más o menos o tener grados no como verdad que es el que usas

**
es algo altamente probable que se ha demostrado que funciona.
**

Que se ha probado (mediante contraste con la realidad es que demostrar también implica concluir con razonamiento) que funciona pero también que no es falso. No es verdadera pero no es falsa.

La gravedad de newton no es falsa, sin ser verdadera pero la relatividad general es más cierta que la gravedad de newton y a su vez ha de haber una teoría más cierta de la gravedad que la relatividad general

Cosas de los términos que se quieran usar y que sentido tienen o se les da

» autor: suzudo

#110 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 18:56:37 +0000

#80 y los marxistas teístas? ¿y los ateos antimarxistas? y

La equivalencia entre marxismo y ateísmo como una misma y única ideología es un insulto a la inteligencia a la razón y a la realidad

» autor: suzudo

#109 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--174-- — Wed, 25 May 2016 18:56:16 +0000

#18: Siempre ha existido el axioma de "por mis huevazos".

El titular es para enmarcar. "un tema". Vaya jachondo.

» autor: --174--

#108 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 18:54:42 +0000

#30

**
#30 #27 Es curioso que los ateos citen lo que hizo la religion hace 50 años para "denostrar su falsedad", pero ignoran lo que hicieron los marxistas ateos a los creyentes.
**++

¿es un chiste?

» autor: suzudo

#107 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 18:54:14 +0000

#21

**
#21 #2 Su afirmacion es simplona y falsa.

Tanto la ciencia como la matemática y la religión parten de axiomas indemostrables en última instancia.

**

LOs axiomas que se parte en uno y otro es el de identidad y el de no contradicción

precismente porque se quiere una identidad entre realidad y lo dicho sobre ella y que no haya contradicciones

Son tales los axiomas porque precisamente se quiere eso: acercarse lo más posible a la verdad es decir a tener una identidad perfecta sin contradicciones

Que lenguaje matemático tenga axiomas y la ciencia use ese lenguaje para expresar sus modelos porque quiere esos axiomas no implica que todo vale. no implica que como tiene unos axiomas y vale entonces ponemos cualesquiera que queramos y nos salga porque queramos y los consideremos al mismo nivel o a otro nivel equivalente

No. Si son otros, son otros. Si son respetables la matemática y la ciencia es precisamente porque respetan esos dos axiomas. Si se critica a los dogmas es precisamente por pretender otros axiomas en contra de los axiomas de identidad y de no contradicción

De los que depende la definición de verdad, certeza y falsedad.

La definición última de esos conceptos o la formalización de los mismos.

POr tanto si no los respeta o los sustituye por otros no es verdades, certezas o señalar falsedades lo que buscaría la dogmática sino defender sus propios dogmas o su propia vía pero no lo que se entiende por verdad sino otra cosa que puede llamar así pero sería "otra cosa": su conjunto de dogmas

» autor: suzudo

#106 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 18:48:51 +0000

#94 cierto. Aunque también del mundo físico no tenemos ninguna verdad solo tenemos certezas parciales y limitadas siempre. Igual despertados y todo era un sueño pero era cierto para ese sueño como una parcialidad de la realidad mayor sea la que resultare ser

» autor: suzudo

#105 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 18:47:35 +0000

#2 Cuidado en no confundir demostrar (concluir mediante razonamiento a partir de premisas mediante reglas matemáticas con sus axiomas y postulados) con probar (contrastar con la realidad mediante método científico)

Luego que en lógica y matemáticas algo puede ser o no verdad. Pero en los modelos sobre la realidad que hace la ciencia no hay verdad solo certeza parcial y limitada aunque real, siempre discutible y a poner a prueba dado que la realidad ha de ser el juez

» autor: suzudo

#104 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

suzudo — Wed, 25 May 2016 18:45:24 +0000

#26 creo que se ha de separar lenguaje (lógica y matemáticas) del resto de la ciencia sobre modelos del universo

Demostrar (mediante razonamientos) de probar (mediante contraste con la realidad)

Y teoremas (relaciones matemáticas que dependen de los axiomas, postulados y otros teoremas matemáticos deducidos por sus reglas) de teorías (modelos de la realidad obtenidos y puestos a prueba mediante método científico)

» autor: suzudo

#103 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--336534-- — Wed, 25 May 2016 18:38:00 +0000

#95 ¿Qué puede salir mal?

» autor: --336534--

#102 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--370435-- — Wed, 25 May 2016 18:05:33 +0000

Soy al único q le preocupa esta mierda pseudo científica con tufo a religión de portada en meneame?

» autor: --370435--

#101 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

TetraFreak — Wed, 25 May 2016 17:47:53 +0000

#100 y el teto

» autor: TetraFreak

#100 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--394145-- — Wed, 25 May 2016 17:47:12 +0000

#97 Y la prueba del nueve...

» autor: --394145--

#99 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

TetraFreak — Wed, 25 May 2016 17:40:36 +0000

#77 confundes ciencia con capitalismo

» autor: TetraFreak

#98 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

TetraFreak — Wed, 25 May 2016 17:39:58 +0000

#61 el problema aparece al "crear axiomas"

» autor: TetraFreak

#97 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

TetraFreak — Wed, 25 May 2016 17:36:07 +0000

#83 conozco gente que no entiende una regla de tres. Innato no lo veo yo.

» autor: TetraFreak

#96 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

TetraFreak — Wed, 25 May 2016 17:34:15 +0000

#29 Tienes razón y no la tienes. Pasate por #1

» autor: TetraFreak

#95 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

TetraFreak — Wed, 25 May 2016 17:31:46 +0000

#54 Fue un brujo tiflin

» autor: TetraFreak

#94 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

TetraFreak — Wed, 25 May 2016 17:30:18 +0000

#18 El problema es que la verdad matemática es diferente a la verdad el mundo físico.

» autor: TetraFreak

#93 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Meinster — Wed, 25 May 2016 17:21:16 +0000

#27 La ciencia no demuestra que nada sea cierto porque no se puede saber si algo es cierto, se puede saber si algo es probablemente cierto, hasta saber (o suponer) el porcentaje de dicha probabilidad, pero nunca algo podrá ser afirmado como cierto. Es la principal diferencia con la religión la cual afirma que algo es cierto y luego tiene que batallar con el universo para poder encajarlo. La teoría científica es distinta de la hipótesis, una teoría en ciencia es algo altamente probable que se ha demostrado que funciona.

#14 El debate nunca es insano, siempre se puede aprender de un debate por muy estúpido que pueda parecer, especialmente si ataca tus creencias, puedes salir reforzado o puede plantearte dudas que provoquen que investigues sobre ellas y por ello tus creencias se vean reforzadas o por el contrario que se vengan a bajo, incluso puede que encuentres el error.

El no debatir, el encerrarse en uno mismo y sus ideas no es bueno, ni para uno mismo ni para sus ideas. El encontrarte opiniones distintas divergentes siempre es interante.

Este debate es interesante pero por parte del físico, el teólogo parece una persona interesante al principio, pero cuando el debate se vuelve realmente interesante desaparece para reaparecer al final, cuando le sacan el tema de la política (supongo para que pueda intervenir) Desde luego un filósofo sería un contertulio mucho más interesante, o al menos un teólogo dispuesto a llevar el debate más allá. Una cuestión que sacan mucho a relucir en los debates de ciencia vs religión es la moral, parece que la religión sigue creyéndose dueña de esta, pero al contrario, ciencia y filosofía son las que debieran tener la palabra sobre ello y poder discutirse ampliamente el tema.

» autor: Meinster

#92 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

AsVHEn — Wed, 25 May 2016 16:52:07 +0000

#10 El problema de la parada entra dentro de los teoremas de incompetitud de Gödel.

» autor: AsVHEn

#91 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Acido — Wed, 25 May 2016 16:15:23 +0000

#16 Estoy de acuerdo con #34 #42 y #74

El cerebro tiene en sí mismo un mecanismo lógico, digamos. Es decir, antes de crear las matemáticas, el mero hecho de pensar ya supone el uso de la lógica aún sin haber dado previamente clases de lógica, ni mucho menos de matemáticas, incluso sin saber escribir ni leer, incluso sin saber hablar.

Los sabios griegos formalizaron un poco la lógica pero con lenguaje coloquial, sin uso de símbolos matemáticos. Cosas como el silogismo, es decir, dos proposiciones (llamadas premisa mayor y premisa menor) que derivaban en una conclusión.
Ejemplo:
1. Todos los hombres son mortales
2. Aristóteles es un hombre
3. Conclusión: Aristóteles es mortal.

Otro Ejemplo:
1. O bien Aristóteles es mortal o bien es inmortal
2. Aristóteles no es inmortal
3. Conclusión: Aristóteles es mortal

Es decir, los griegos expresaron con palabras muchas leyes de la lógica.

Fue más tarde cuando Boole y otros expresaron esas leyes de forma matemática. Supongo que os sonará "álgebra de Boole", muy usada en los ordenadores, que se basaba en operaciones básicas: AND, OR, XOR, etc... El AND es equivalente a una multiplicación (1*1=1 ; 1*0=0; 0*1=0; 0*0=0) aunque se suele representar con el símbolo ^, el XOR es como una suma módulo 2 (1mod2 + 1mod2 = 0mod2; 1+0=1; 0+1=1; 0+0=0) aunque se suele representar con un + encerrado en un círculo, etc... Una de la operaciones de Boole es IMPLICA (o bien, operación de IMPLICACIÓN) y de esta forma las demostraciones matemáticas se podían convertir en meras operaciones algebraicas: de álgebra de Boole.
Por ejemplo, la demostración de que Aristóteles es mortal, en lenguaje matemático.
1. Para todo x, si x pertenece al conjunto Hombres IMPLICA x pertenece al conjunto de Mortales
x es Hombre => x es Mortal
2. Aristóteles pertenece al conjunto de los Hombres.
3. Conclusión:
De 1 y 2 se deduce que Aristóteles pertence al conjunto de los Mortales.
La IMPLICACIÓN contenida en 1 significa que si lo primero es VERDADERO (es TRUE, es igual a 1) lo segundo tiene que ser verdadero ya que 1 dice que la IMPLICACIÓN es verdadera.
(H => M) = 1
y esta ecuación sólo se cumple cuando H es 1 y M es 1, o bien cuando H es 0
Pero como H es 1 (es hombre) sólo cabe la posibilidad M=1 (es mortal)

Es posible que en el instituto te explicasen la lógica (quizá en la asignatura de Filosofía) siguiendo un estilo matemático... en plan operaciones (funciones de 2 variables) como AND (Y = ^), OR (O: uno u otro, quizá ambos), XOR (O Exclusivo: uno u otro pero no ambos). Porque contarlo con letras es más simple, al menos más breve y rápido de escribir. Pero eso no significa que siempre la lógica se basase en las matemáticas, ni que fuese posterior a las matemáticas, ni nada de eso. Se puede comprobar que decirlo con matemáticas o decirlo con palabras en lenguaje coloquial es equivalente. Aunque las palabras a veces pueden ser ambiguas, como, por ejemplo el O, que a veces no se sabe si se refiere a un O exclusivo o un O no exclusivo.

» autor: Acido

#90 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--150853-- — Wed, 25 May 2016 16:02:52 +0000

[Usuario deshabilitado]

» autor: --150853--

#89 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--224275-- — Wed, 25 May 2016 15:59:33 +0000

#37 Por poder puedes, el caso es que a la gravedad le da igual. No te manda arriba ni abajo por creer o no en ella.

» autor: --224275--

#88 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--394145-- — Wed, 25 May 2016 15:50:21 +0000

#85 No, no depende, que en la vida vayas adquiriendo mas conocimientos es otra historia...

» autor: --394145--

#87 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

subzero — Wed, 25 May 2016 15:45:02 +0000

#12 Hay cosas que no se pueden poner en evidencia a nivel lógico (las llamamos inefables, abstractas o las tratamos de representar con un número irracional), sin embargo, la experiencia "real" está ahí.

Una cosa es la experiencia, y otra, la representación lógico-matemática (verbal, mental, etc.) de la misma.

» autor: subzero

#86 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--224275-- — Wed, 25 May 2016 15:43:40 +0000

#5 Pa que kieres saver eso jajajaja

» autor: --224275--

#85 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

subzero — Wed, 25 May 2016 15:41:51 +0000

#83 ¿La lógica es algo innato? Depende.

¿Consideras el lenguaje como algo innato, o dependiente del proceso de aculturación?

» autor: subzero

#84 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Kuruñes3.0 — Wed, 25 May 2016 15:40:39 +0000

Y este que va a saber si es cura y los curas por definición son más tontos que yo que soy ateo.
Una pajilla en pornotube y a por otro episodio de JdT, esto no vale mi tiempo.

Meneante medio mode off.

» autor: Kuruñes3.0

#83 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--394145-- — Wed, 25 May 2016 15:31:05 +0000

#7 La lógica es algo innato que luego vamos perfeccionando

» autor: --394145--

#82 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

ummon — Wed, 25 May 2016 15:24:25 +0000

#77 "La Ciencia es dañina"
Eso se lo cuentas al médico la próximas vez que tengas que ir por algo, o al dentista cuando te vaya a poner la anestesia.
Un bisturí en manos de un loco es un arma homicida. En manos de un cirujano un instrumento de salvación. El problema no es la ciencia es como usamos lo que la ciencia es capaz de generar.

» autor: ummon

#81 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

sergiobe — Wed, 25 May 2016 15:06:27 +0000

#80 ¿Hablas de oídas, o tienes algún dato de eso? ¿Durante cuánto tiempo? ¿Mil años? No seas ridículo, anda. La religión ha sido causa de guerras y de millones de muertes. Y muchas de ellas horrendas.
Además, no sé a qué viene mezclar churras con merinas. Estamos hablando de religión y ciencia.

» autor: sergiobe

#80 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--8993-- — Wed, 25 May 2016 14:54:07 +0000

[Usuario deshabilitado]

» autor: --8993--

#79 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Patrañator — Wed, 25 May 2016 14:50:14 +0000

Toda verdad no es útil ni da la felicidad, cómo por ejemplo, enterarte poco antes de morir de que tu padre no era tu padre o de que tus hijos en realidad no son tuyos.
O por ejemplo, saber que tiene cáncer la persona que más quieres el día anterior a su accidente mortal.
Tampoco tiene sentido meter a Dios en temas cómo estos.

» autor: Patrañator

#78 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

unpaseante — Wed, 25 May 2016 14:44:32 +0000

#24 Perdona que te rectifique pero metes bastante la pata. Lo que dice el teorema de incompletitud de Gödel es que dado cualquier conjunto (se necesita además que sea efectivamente reconocible, pero este no es el gran problema de lo que dices) de axiomas sucede que hay una enunciado (técnicamente una sentencia, i.e., todas las variables están cuantificadas) tal que sucede simultáneamente que: 1) Dicho enunciado no es demostrable a partir de esos axiomas, y 2) El enunciado que es la negación del anterior resulta que tampoco es demostrable a partir de dichos axiomas.

Y por tanto sí que es cierto que Gödel (porqué está claro que todo enunciado o bien él es verdadero o bien su negación es verdadera) demostró que para cualquier conjunto de axiomas (vuelvo a comentar lo de efectivo) hay una verdad que no es demostrable a partir de dicho conjunto de axiomas.

Lo que sí es erróneo es simplemente pensar que hay una noción de "demostrable". La noción de demostrable siempre es relativa a los axiomas (efectivos) considerados. Que sea indemostrable con unos axiomas no imposibilita que sea demostrable con otros axiomas.

» autor: unpaseante

#77 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Patrañator — Wed, 25 May 2016 14:40:09 +0000

#14 Las religiones son dañinas porque(entre otras cosas) fomentan que sus creyentes traigan al mundo todos los hijos "que Dios quiera" y su obligación será enfrentarse a los "infieles" para defender a su Dios.
La Ciencia es dañina porque multiplica capacidades del ser humano de forma desigual(con más dinero, más puedes) y se incrementa la cantidad de máquinas existentes y en funcionamiento sin tener en cuenta los límites del planeta ni la naturaleza humana en su uso.

» autor: Patrañator

#76 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Patrañator — Wed, 25 May 2016 14:33:38 +0000

#12 Porque no perjudican todo lo que se sabía anteriormente y resultan útiles, cómo las divisiones por cero.

» autor: Patrañator

#75 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Patrañator — Wed, 25 May 2016 14:32:06 +0000

#28 La demostración eran los terremotos, las auroras boreales, los eclipses de sol.
Ahora sabemos que la tierra es redonda, no es lo mismo.

» autor: Patrañator

#74 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Patrañator — Wed, 25 May 2016 14:29:27 +0000

#16 la matemática fue primero, por razones prácticas(yo he cazado dos conejos y tú sólo uno) y se desarrolla cómo herramienta cada vez más potente(para qué sumar el mismo número tantas veces pudiendo hacer una multiplicación) porque así resulta más valiosa.
La abstracción de las operaciones algebraicas apareció después.

» autor: Patrañator

#73 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

M_M — Wed, 25 May 2016 14:27:02 +0000

Pues no he tenido discusiones yo por este motivo, con varios de los brillantes científicos que campean por meneame, paso de nombrarlos por que estoy seguro que soltarían el mismo discurso cuadriculado de siempre, pero algunos ya sabréis a quienes me refiero.

» autor: M_M

#72 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

maria1988 — Wed, 25 May 2016 14:26:59 +0000

#70 Sí solucionas cosas. Por ejemplo, puede ser útil aceptar determinados axiomas para avanzar por un camino y aceptar los contrarios para avanzar por otro. Por ejemplo, está el caso de la geometría:
En la geometría euclídea, se parte de determinados axiomas (indemostrables). El quinto de ellos dice que por un punto exterior a una recta, se puede trazar una única paralela a la recta dada.
Así, admitiendo como cierto este postulado, construimos toda la geometría euclidiana, que es útil para explicar, por ejemplo, la física clásica.
Si negamos este quinto postulado, entonces emprendemos otro camino que nos lleva a las geometrías no euclídeas, como la geometría de Riemann, en la que se basa la relatividad de Einstein.
cc. #71

» autor: maria1988

#71 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--280946-- — Wed, 25 May 2016 14:24:45 +0000

#23 #48

Pues es cierto, pero probablemente sea el único (o de los únicos) casos en lo que se cumple porque la sentencia afirma su propia indemostrabilidad. Matemáticamente es posible demostrar que algo es indemostrable, y por tanto la sentencia "El teorema A es indemostrable" es cierta, independientemente de como sea el teorema. Lo que pasa con Gödel es que no poder crear una demostración de dicha sentencia implica directamente que es cierta, pues la sentencia misma indica que es imposible de demostrarse. Un caso bastante único, como dije.

#35

Efectivamente, y es una de las cosas que más me fascinan. Llegado a un punto muerto podemos tomar una de las dos opciones como axioma verdadero, y continuar las matemáticas a partir de allí. Pero nada nos impediría tomar justo la contraria como axioma verdadero y crear todo un nuevo conjunto de matemáticas totalmente válidas pero diferentes. Seguramente uno de las dos ramas será mas prolífica que otra, pero ambas serían igualmente válidas. Esta es una de las cosas que más me gustaría ver si existiera una civilización alienígena avanzada: El conjunto de axiomas que forman sus matemáticas. ¿Habrán elegido los mismos que nosotros, o seguirán un camino distinto? De ser así... ¿llegarán a los mismos teoremas que nosotros o serán diferentes? Me parece fascinante, pero dudo que alguna vez seamos capaces de verlo.

» autor: --280946--

#70 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Acido — Wed, 25 May 2016 14:18:28 +0000

#69 Pues eso. Que tu solución no solucionaría nada porque el teorema dice que no hay solución.
¿o no?

» autor: Acido

#69 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

maria1988 — Wed, 25 May 2016 14:16:53 +0000

#68 Eso es precisamente lo que dice el teorema de incompletitud.

» autor: maria1988

#68 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Acido — Wed, 25 May 2016 14:16:29 +0000

#35 El problema es que ese nuevo sistema (el formado al añadir ese nuevo axioma) es también incompleto... Entonces puedes formar uno nuevo, añadiendo alguno que el otro no abarca, pero el nuevo tampoco es completo... y así.

» autor: Acido

#67 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

M_M — Wed, 25 May 2016 14:08:31 +0000

Según el método científico no.

» autor: M_M

#66 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--143520-- — Wed, 25 May 2016 14:02:39 +0000

#61 Tienes razón, hablaba de la ciencia en general, y en tu otro comentario me daba esa misma impresión. Por ejemplo, a día de hoy no podemos "no creer" en la gravedad, pero quizás en un futuro avancemos lo suficiente como para terminar diciendo que "no existe" que es una fuerza ficticia, o algún matiz que cambie totalmente lo que creemos de ella. Eso sí, sus efectos, esos te los comes.

» autor: --143520--

#65 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Sofrito — Wed, 25 May 2016 14:02:36 +0000

#6 Las personas tienen derecho a ser ignorantes. Además, hay tantas cosas "importantes", que sería imposible aprenderlas todas. A la vez que innecesario.

» autor: Sofrito

#64 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

jaspeao — Wed, 25 May 2016 13:59:57 +0000

Maldita sea, iba por infinito -1 cuando me he despistado con tu comentario.
Vuelvo a empezar. 1,2,3

» autor: jaspeao

#63 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--165145-- — Wed, 25 May 2016 13:57:46 +0000

#3, de tu afirmación a la del titular hay un gran trecho. La existencia de cosas indemostrables no es una afirmación gratuita.

» autor: --165145--

#62 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

jaspeao — Wed, 25 May 2016 13:57:44 +0000

#37 la gravedad es un fenómeno sobrevalorado. Tanto más en física cuanto que actitud ante la vida.

» autor: jaspeao

#61 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

maria1988 — Wed, 25 May 2016 13:57:18 +0000

#57 Como he dicho antes, depende de qué ciencias. En las ciencias formales, como las matemáticas, si asumes los axiomas como ciertos, los teoremas son verdad, pues estan demostrados a partir de éstos.

» autor: maria1988

#60 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--165145-- — Wed, 25 May 2016 13:56:13 +0000

#21, eres de letras (y más cosas), ¿verdad?

» autor: --165145--

#59 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

gershwin — Wed, 25 May 2016 13:53:19 +0000

#48 "no es demostrable en una teoría pero es cierta"
Cuando tú dices "pero es cierta" lo que haces es emplear otro sistema en el que el problema es decible, si no podrías saber que es cierta.

» autor: gershwin

#58 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

jaspeao — Wed, 25 May 2016 13:52:46 +0000

#16 for a=0; b=0
Then a=b=0

» autor: jaspeao

#57 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--143520-- — Wed, 25 May 2016 13:51:27 +0000

#37 Hasta cierto punto sí se cree, pero vamos, evidentemente no es el mismo grado de creer. La ciencia es la creencia más solida que tenemos y viene avalada por miles de "testigos", me refiero a los experimentos replicables.

La ciencia asigna la credibilidad mímina para no caer simplemente en pensar que nada se puede demostrar. Mientras que la religión parte de que no se puede demostrar, así que toca creer a ciegas.

PS: Aunque por cierto también se puede ver como que la ciencia solo habla de probabilidad, que para algunas "certezas" son elevadamente altas.

» autor: --143520--

#56 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

sergiobe — Wed, 25 May 2016 13:48:01 +0000

#30 ¿Lo que hizo la religión hace 50 años? O lo que hizo la religión católica HASTA HACE 50 años, y otras siguen haciendo? A mí me da lo mismo si crees en lo que sea o no, pero compararlo con la ciencia o intentar convencer a los que no lo son de tu cuerda de que tus creencias son ciertas, pues mira, como que no.

» autor: sergiobe

#55 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--143520-- — Wed, 25 May 2016 13:48:01 +0000

Realmente odio cuando se saca de contexto una frase, que en el fondo se dice sin profundizar mucho en el tema. Al final es como cualquier cita que se dice y su significado es más que discutible.

» autor: --143520--

#54 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--336534-- — Wed, 25 May 2016 13:47:31 +0000

#49 porque lo hizo un mago,un zombie, o un clérigo de nivel 80.

» autor: --336534--

#53 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

gershwin — Wed, 25 May 2016 13:45:36 +0000

"Hay cosas que son verdad y es indemostrable que sean verdad"
Tautología nivel mitológico

» autor: gershwin

#52 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--193421-- — Wed, 25 May 2016 13:44:59 +0000

#30 En ese caso que comentas seguro que había un motivo político o económico, algo con más lógica que la pura ilógica de las creencias. Y te lo dice un budista, el hombre es un lobo para el hombre, siempre va a haber guerras por territorio y recursos, lo que no es de recibo es que sean porque no me gustan tus creencias, eso siempre va a ser la excusa de otro asunto más vital.

» autor: --193421--

#51 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--4556-- — Wed, 25 May 2016 13:40:26 +0000

#39 A fin de cuentas si lo pienso bien los curas son los mayores expertos mundiales en vender libros de cuentos y en todo el marketing y negocios de explotación asociados.

» autor: --4556--

#50 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

KristianSM — Wed, 25 May 2016 13:39:16 +0000

Me voy a guardar esto en favoritos que hay mucho conocimiento interesante que adquirir.

» autor: KristianSM

#49 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--508603-- — Wed, 25 May 2016 13:38:47 +0000

#30 Estoy pensando si sólo eres un troll o no ... Me dejas planchado con eso de "enseñanzas sagradas". ¿ Cómo sabéis que son sagradas ?

» autor: --508603--

#48 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

teskmon — Wed, 25 May 2016 13:38:12 +0000

#13 #15 El primer teorema de incompletitud de Gödel es la demostración de que una fórmula no es demostrable en una teoría pero es cierta, pues es una fórmula que afirma precisamente su propia indemostrabilidad en dicha teoría.

» autor: teskmon

#47 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--508603-- — Wed, 25 May 2016 13:37:04 +0000

#21 Si, pero no. En el caso de las matemáticas, mas que demostrar cosas ( pues en matemáticas se manejan conceptos abstractos, representaciones ), se demuestra que son ciertas siempre que sean ciertos los axiomas. Y si bien el mundo de las ideas matemáticas como dices se apoya en axiomas, su utilidad reside en utilizarlas para interpretar otras cuestiones, por ejemplo, aplicarlas a la física o a cualquier ciencia.

En cuanto a las ciencias experimentales, no se basan en axiomas como las matemáticas, sino que siguen justamente el proceso opuesto. Si en matemáticas probamos teoremas partiendo de axiomas, en la física y en cualquier ciencia los datos observables, si tiramos un objeto y tarda un segundo en caer sobre la tierra, es que lo tiramos a 4,9 metros. Este seria un teorema, que coincide con la realidad física observable. Con el método científico, intentamos buscar aquellos axiomas que verifican los teoremas, es decir, que ese 4,9 es 9,8/2 * 1^2.

En resumen, que vale, las matemáticas se basan en axiomas, que se escogen por su utilidad, no para explicar la realidad, pues las matemáticas son una construcción mental. En las ciencias, la gracia reside en formular afirmaciones falsables, que aunque no te garantice la veracidad total de nada al 100%, se puede refinar tanto como se quiera, haciendo experimentos.

El problema es que con muchas ideologías y religiones, las afirmaciones no se cuestionan, bien porque son infalsables a nivel teórico o por ser infalsables a nivel práctico ( es decir, que si disientes, golpe de remo ).

Ciencia y religión no siguen los mismos procesos para explicar el mundo, si bien acepto que la ciencia no es perfecta, pero es mejor seguir las evidencias ( aunque nunca sepas nada al 100% ) que inventarse paridas.

Saludos !

» autor: --508603--

#46 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

ummon — Wed, 25 May 2016 13:36:40 +0000

#37 Eso es...
En la ciencia no se cree, la ciencia es la representación del universo en parámetros que los humanos somos capaces de entender.
Ni se puede creer o no en la gravedad o en la entropía. El universo funciona como funciona ( nos guste o no) y la ciencia lo intenta explicar en términos humanos.
Y aquí es cuando viene un religioso y dice: “Pero es que la religión es lo mismo, intenta explicar… blah, blah, blah”
Pues no es lo mismo, la religión no intenta explicar nada. Intenta convencer de unas ideas que tienen miles de años de antigüedad son capaces de representar algo de cómo funciona el universo y el ser humano. Si nos paramos a pensar es absurdo que siquiera pongamos al mismo nivel a alguien que vivió hace miles de años y que dejó escrito algo (que no siempre se parece con lo que llegó a nuestros días) con el conjunto de conocimientos científico de miles de personas (estos sí sabemos exactamente quien fueron, que hicieron y donde vivieron y si nos descuidamos hasta la marca del bolígrafo con que hizo las anotaciones) a lo largo de la historia.

» autor: ummon

#45 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

kanowins — Wed, 25 May 2016 13:29:33 +0000

#22 en el trono las hipótesis de colon no te dejan indiferente

» autor: kanowins

#44 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--479797-- — Wed, 25 May 2016 13:28:40 +0000

#41 La cuestión es que se aplica en lógica, pues se suele extender su uso a los lenguajes formales y, por lo general, en su concepción estándar, la ciencia natural aprehende la realidad no sólo a través de la observación empírica sino, además, a través de la construcción de un entramado teórico y de enunciados legaliformes entrecruzados por la lógica formal en los que se apoyarán subsiguientes hipótesis y los datos (que solo han podido constituirse como tales a través de otras hipótesis) que se han obtenido en el contexto de descubrimiento.

» autor: --479797--

#43 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

casicasi — Wed, 25 May 2016 13:22:15 +0000

#26 Y antes de que me echen la bronca por plagiario, ya te aviso que lo anterior está en parte copieteado de aquí:

labellateoria.blogspot.com.es/2007/05/el-teorema-de-gdel-sobre-la-verd

» autor: casicasi

#42 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Pancar — Wed, 25 May 2016 13:18:49 +0000

#16 No, son complementarias. De hecho la lógica matemática surge cuando Boole y, sobre todo, Frege trasladaron al lenguaje matemático los problemas lógicos. Hasta entonces la lógica trabajaba con un lenguaje natural, a partir finales del s. XIX con las aportaciones de Boole, Frege y otros (Venn, Morgan, etc.) se puede expresar la lógica con un lenguaje formal y surgen las matemáticas de la lógica.

» autor: Pancar

#41 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--508603-- — Wed, 25 May 2016 13:16:29 +0000

Bueno bueno, lo del Teorema de Godel es uno de los mas extralimitados de las matemáticas. Únicamente dice que un sistema lógico "similar" a la aritmética tiene proposiciones indecidibles. Sin embargo lo aplican para todo, incluido el conocimiento del mundo físico.

Incluso hace tiempo hubo unos que probaron la existencia de Dios con el Teorema de Godel, y se tiraron un bombo brutal diciendo que habían hecho simulaciones por ordenador y no se qué, para patrocinar los macbooks ...

» autor: --508603--

#40 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

micawber — Wed, 25 May 2016 13:12:41 +0000

#27 No has refutado lo que dice #21. Un axioma es, por definición (y supongo que a eso se refiere con "en última instancia"), un punto de partida del sistema lógico, no una proposición que se pueda someter a demostración.

www.quora.com/Can-axioms-be-proven-in-mathematics

» autor: micawber

#39 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--4556-- — Wed, 25 May 2016 13:08:47 +0000

El cura aburre a las ovejas con su verborrea vacía aderezada con moralina cristiana de fondo y el físico no sé por qué le da cancha en su rollo, por figurar y salir en una entrevista supongo (y que compren sus libros de "literatura")

» autor: --4556--

#38 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

maria1988 — Wed, 25 May 2016 13:07:12 +0000

#5 Yo me pregunto cómo hay gente que se aprovecha del desconocimiento de los demás sobre estos temas para intentar adoctrinar. Como los creacionistas que dicen que atacan la evolución diciendo que contradice las reglas de la termodinámica.

» autor: maria1988

#37 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

maria1988 — Wed, 25 May 2016 13:04:16 +0000

#14 A mí me repatean muchísimo las películas que de forma perniciosa intentan meternos esta idea en la cabeza. Como si la ciencia fuera cuestión de fe. Frases como "yo no creo en Dios, creo en la ciencia". En la ciencia no se cree, se trata de un compendio del conocimiento humano hasta la fecha, basado en la evidencia. No puedes "no creer" en la gravedad.

» autor: maria1988

#36 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--507957-- — Wed, 25 May 2016 13:04:12 +0000

#22 Por fin algo de sensatez

» autor: --507957--

#35 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

maria1988 — Wed, 25 May 2016 13:02:40 +0000

#13 Pero las matemáticas están construidas en base a axiomas. Cuando surge una cuestión de incompletitud (su veracidad o falsedad es indemostrable) puedes tomar su veracidad o falsedad como axioma y construir nuevas teorías a partir de ahí.

» autor: maria1988

#34 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--473201-- — Wed, 25 May 2016 13:01:36 +0000

#16 pues no recuerdo tanto...
Pero también podría añadir: la lógica está basada en los mecanismos intuitivos de nuestro cerebro (al igual que las matemáticas).

» autor: --473201--

#33 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

maria1988 — Wed, 25 May 2016 13:00:44 +0000

#12 Si no se puede demostrar que es verdad, no se sabe que es verdad. Si no se puede demostrar que es mentira, no se sabe que es mentira. Si no se pueden demostrar ninguna de las dos cosas, entonces depende de lo que quieras creer.

» autor: maria1988

#32 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--515812-- — Wed, 25 May 2016 13:00:06 +0000

#24 El "debate" en sí mismo está lleno de falacias de libro por parte del teólogo, pero como la gente está enseñada desde bien chiquitines a no pensar, pues cuela como que esto es un "debate" de algún tipo "de igual a igual", cuando no lo es.

» autor: --515812--

#31 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

sillycon — Wed, 25 May 2016 12:59:48 +0000

#9 Concretamente, es la tetera de Rusell.

es.wikipedia.org/wiki/Tetera_de_Russell

» autor: sillycon

#30 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--8993-- — Wed, 25 May 2016 12:59:17 +0000

[Usuario deshabilitado]

» autor: --8993--

#29 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

maria1988 — Wed, 25 May 2016 12:59:07 +0000

#2 «En la ciencia cuando algo no se puede demostrar y se sabe que es verdad o que puede serlo, se intenta a base de ensayo y error hasta demostrarlo o descarcarlo». En las ciencias formales, como las matemáticas, esto no es cierto. En ellas, cuando se demuestra algo, se tiene la certeza de que es cierto.

» autor: maria1988

#28 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--515812-- — Wed, 25 May 2016 12:57:56 +0000

#3 Además es que la obligación de demostración recae exclusivamente sobre el que hace la afirmación inicial, no sobre el resto. Esto es un principio lógico que la religión se saltó el primer día que se inventó que habían "dioses", claro.

Del mismo modo que el cura de mi pueblo dice que hay un Dios en el cielo y que es todopoderoso y él lo hizo todo, yo puedo decir que el Dios verdadero es el elefantito ese de los indios o que no hay ningún Dios y el mundo fue creado por unicornios con alas que van volando por el universo creando mundos. Y entonces que sea él el que "demuestre que lo que yo digo es mentira". Tiene la misma obligación que yo de demostrar que su dios no existe y es mentira, la misma obligación.

» autor: --515812--

#27 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--515812-- — Wed, 25 May 2016 12:54:44 +0000

#21 Tanto la ciencia como la matemática y la religión parten de axiomas indemostrables en última instancia.

No sé qué última instancia será esa, pero la ciencia y su herramienta de demostración, las matemáticas, lo que hacen es demostrar empíricamente que algo es cierto antes de decir que es cierto. Y si no se puede demostrar, se queda como "teoría", es decir que no se ha demostrado aún. Y si se demuestra que es "cierto" pero luego otra persona demuestra que esa afirmación era errónea, como pasó con la homeopatía y con muchas otras afirmaciones (sobre todo en ciencias de la salud), pues se descarta y se dice que era falso.

La religión pasa inmediatamente a emitir leyes, en vez de teorías, y te dice que algo que directamente no se puede demostrar (la existencia de seres superiores etéreos y mágicos) es cierto porque lo dice la religión y no hay más que discutir y si no lo quieres aceptar así como te lo digo yo pues disparo en la cabeza junto a la tapia por ateo pecador demoníaco y además me quedo a tus hijos para que no los eduques en el pecado de no creerse lo que yo digo. Y así estamos, en 2016 adorando a muñecos de madera, a figuras cúbicas, a elefantes con 6 brazos y queriendo meter en la cárcel o matar a los que no se creen que mi muñeco de madera, mi cubo negro en medio de la Meca o mi elefante de 6 brazos es el Dios verdadero porque lo digo yo y mi pistola.

» autor: --515812--

#26 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

casicasi — Wed, 25 May 2016 12:54:02 +0000

#11 Gödel demostró que en cualquier sistema lógico basado en axiomas y reglas de inferencia existen enunciados cuya verdad o falsedad no se pueden decidir basándose en la lógica matemática de ese mismo sistema. Eso quiere decir que ninguna teoría matemática formal es a la vez consistente (no contradictoria) y completa (que incluya todos los enunciados posibles de esa teoría). De hecho, una de las sentencias indecidibles (indemostrables) de dicha teoría es aquella que afirma la consistencia de la misma. Eso quiere decir que las matemáticas son incompletas y no pueden demostrarse a sí mismas como verdaderas, estableciéndose así una diferencia entre verdad/falsedad y demostrabilidad.

O así lo entiendo yo.

» autor: casicasi

#25 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

maria1988 — Wed, 25 May 2016 12:53:35 +0000

#11 Es que no son conceptos sencillos. En matemáticas se estudian ya avanzada la carrera. Se pueden explicar a alto nivel, pero para entenderlos de verdad se necesita una buena base de álgebra.
El teorema de incompletitud viene a decir lo siguiente: supongamos que tienes un sistema consistente (es decir, dentro de él no hay contradicciones). Entonces, este sistema es incompleto, es decir, platea preguntas que no pueden responderse con la propia teoría.
En concreto, las matemáticas son un sistema consistente: se parte de unos axiomas y a partir de éstos se desarrolla el resto del edificio matemático. El teorema de incompletitud nos dice que, por esto mismo, habrá teoremas matemátcos que sean indemostrables.

» autor: maria1988

#24 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

dankz — Wed, 25 May 2016 12:51:55 +0000

El teologo está recurriendo de forma torticera, como es habitual, al teorema de Gödel. Este de forma resumida viene a decir que dado un conjunto axiomático que incluya a la aritmética de los números naturales existen afirmaciones que no se pueden demostrar si son ciertas o falsas. No dice nada de que existen verdades indemostrables (Ya que cada afirmación puede ser tanto cierta como falsa), eso es retorcer el teorema, como de vez en cuando los charlatanes hacen.

» autor: dankz

#23 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--3703-- — Wed, 25 May 2016 12:50:49 +0000

#13 "La sentencia de Gödel G no es demostrable pero es cierta, pues afirma precisamente su propia indemostrabilidad.[2] Esto significa que ninguna teoría aritmética en las condiciones del teorema es capaz de demostrar todos los enunciados verdaderos de la aritmética.[1]"
Enlace dado por #1

» autor: --3703--

#22 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--516158-- — Wed, 25 May 2016 12:45:17 +0000

[Usuario deshabilitado]

» autor: --516158--

#21 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--8993-- — Wed, 25 May 2016 12:42:16 +0000

[Usuario deshabilitado]

» autor: --8993--

#20 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Acido — Wed, 25 May 2016 12:41:36 +0000

#12 Eso mismo pensé yo.

» autor: Acido

#19 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

manuelitos — Wed, 25 May 2016 12:39:44 +0000

"Hay cosas que son mentira y es indemostrable que sean mentira. Y es un tema matemático, no una afirmación filosófica"

» autor: manuelitos

#18 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--341687-- — Wed, 25 May 2016 12:38:53 +0000

#2 pero si sabes que es verdad, es porque lo has inferido por algún sistema.

Aunque no puedas demostrarlo con los medios actuales.

» autor: --341687--

#17 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Acido — Wed, 25 May 2016 12:38:49 +0000

#1 ¡Portada!

» autor: Acido

#16 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Forni — Wed, 25 May 2016 12:37:01 +0000

#7 Recordando cosas del instituto: ¿y la lógica en definintiva estaba basada en el sistema matemático, no? (A+A=B, A≠B)

» autor: Forni

#15 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

juvenal — Wed, 25 May 2016 12:34:52 +0000

#13 exactamente, lo que es bastante diferente de lo que dice el titular

» autor: juvenal

#14 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

ummon — Wed, 25 May 2016 12:34:46 +0000

Como dice el mismísimo Richard Dawkins uno de los problemas de la sociedad es que es muy permisiva con la Religión.
Aquí mismo vemos uno de los prejuicios que la religión ha conseguido garbar a fuego en la sociedad: Poner al mismo nivel a ciencia y religión a tal punto que vemos normal este tipo de debate.
En realidad este debate es por si mismo insano pues son cosas que ni están ni deberían estar al mismo nivel.

» autor: ummon

#13 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--280946-- — Wed, 25 May 2016 12:31:43 +0000

Las matemáticas dice que hay cosas que son imposibles de demostrar que sean ciertas o falsas. Y como no se puede demostrar, no son ni ciertas ni falsas. Es la demostración en sí la que da la veracidad o falsedad a un postulado, y si no se puede demostrar entonces no es ni verdadero ni falso.

» autor: --280946--

#12 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

rojo_separatista — Wed, 25 May 2016 12:29:27 +0000

Si no se pueden demostrar, cómo sabe que son verdad?

» autor: rojo_separatista

#11 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Shotokax — Wed, 25 May 2016 12:21:26 +0000

#1 pues no entiendo un carajo. Debe de ser una mezcla de mi ineptitud y la pobre redacción de la Wikipedia, que deja que desear sobre todo en el primer enlace.

» autor: Shotokax

#10 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Mister_Lala — Wed, 25 May 2016 11:53:39 +0000

#5 Añade este otro:
es.wikipedia.org/wiki/Problema_de_la_parada

» autor: Mister_Lala

#9 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--427287-- — Wed, 25 May 2016 11:50:35 +0000

#8 Venía a aportar el mismo matiz. De otro modo se da a entender que dios es verdad aunque es imposible de demostrar. Lo cual es una tergiversación torticera (o interesada) del teorema de incompletitud. Que es en realidad mucho más inquietante que el apriori de la existencia de Dios.

» autor: --427287--

#8 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--8899-- — Wed, 25 May 2016 11:45:26 +0000

Editado.

» autor: --8899--

#7 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--473201-- — Wed, 25 May 2016 11:26:31 +0000

#3 la filosofía trata, entre otras cosas, de la lógica y su uso correcto.

» autor: --473201--

#6 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

silosenovengo — Wed, 25 May 2016 11:22:55 +0000

#5 Cierto. Los dos enlaces citados deberían ser de estudio obligatorio en la formación reglada de cualquier ciudadano. Pero no lo son. Y así nos va, claro...

» autor: silosenovengo

#5 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

CEOVAULTTEC — Wed, 25 May 2016 11:21:21 +0000

#1 A veces me planteo cómo puede la gente formarse una opinión valiosa de la realidad sin haber integrado, aunque sea a nivel abstracto, conocimientos como estos.

» autor: CEOVAULTTEC

#4 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Relator — Wed, 25 May 2016 11:21:16 +0000

Pensaba que era una frase de Inda...

» autor: Relator

#3 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

--394145-- — Wed, 25 May 2016 11:20:32 +0000

Hay cosas que son mentira y es demostrable que son mentiras. Y es un tema de lógica, no una afirmación filosófica.

» autor: --394145--

#2 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

Zamarro — Wed, 25 May 2016 11:18:41 +0000

En la ciencia cuando algo no se puede demostrar y se sabe que es verdad o que puede serlo, se intenta a base de ensayo y error hasta demostrarlo o descarcarlo. ( por ejemplo el Bosón de Higgs)
En la religion, se da por echo de que algo superior lo ha querido asi, y no se puede rebatir o eres un apostata y en epocas pasadas eso te condenaba directamente a la muerte o algo peor.

Son pequeñas diferencias ... muy pequeñas ...

» autor: Zamarro

#1 "Hay cosas que son verdad y es indemostrable que sean verdad. Y es un tema matemático, no una afirmación filosófica"

silosenovengo — Wed, 25 May 2016 11:12:35 +0000

Qué lástima que esto jamás subirá a portada.

es.wikipedia.org/wiki/Constante_de_Chaitin
es.wikipedia.org/wiki/Teoremas_de_incompletitud_de_Gödel

» autor: silosenovengo