Murio lonely george

[cibgks]

No, deductivo es un argumento en el cual las premisas apoyan completamente a la conclusión. La lógica proposicional no se la suele identificar con la lógica deductiva, por más que sea deductiva. La lógica de primer orden es deductiva, la lógica de segundo orden es deductiva, las lógicas de orden superior son deductivas (el orden es sobre qué se cuantifica, en primer orden sobre variables de individuos, en ordenes superiores sobre propiedades, y así), las lógicas paraconsistentes son deductivas, la lógica intuicionista es deductiva, la teoría de conjuntos es deductiva, etc.

Decir que no pensamos deductivamente, por más que pensemos lógicamente es armar una lógica alrededor de cómo pensamos. Pero la lógica no está para modelar nuestro pensamiento, porque cometemos errores, es una técnica para corregir nuestras inferencias. Ver cómo pensamos es competencia de la psicología, no de la lógica, y si bien algunos desarrollos matemáticos puedan predecir el resultado de inferencias de sentido común eso dice bien poco sobre nuestro cerebro y es sólo parte de la futura explicación.

PD Obvio que es un algoritmo (todos los programas son algoritmos, todo lo computacional es algorítmico), el tema es que ese algoritmo tiene muchas similitudes con los resultados que tira la lógica cuántica. Aparatos pueden usar fuzzy logic y son algoritmos. Estas hablando de dos aspectos separados que no son excluyentes, un algoritmo es simplemente un procedimiento efectivo para resolver un problema de forma mecánica, el tema es que se pueden construir algoritmos de muchas maneras y eso los asemeja a la forma de operar de una lógica. Nuestras computadoras si bien tienen lógica, no están programadas con lógica, están programadas con un lenguaje computacional dado.

Pero yo no hablo de modelizar matemáticamente el cerebro, sólo digo que se puede modelizar ciertas actitudes y respuesta que damos. Y con respecto a que "Nuestras computadoras si bien tienen lógica, no están programadas con lógica, están programadas con un lenguaje computacional dado", todavía no se pudo desarrollar un lenguaje basado en lógica cuántica.

[cibgks]

No, deductivo es un argumento en el cual las premisas apoyan completamente a la conclusión. La lógica proposicional no se la suele identificar con la lógica deductiva, por más que sea deductiva. La lógica de primer orden es deductiva, la lógica de segundo orden es deductiva, las lógicas de orden superior son deductivas (el orden es sobre qué se cuantifica, en primer orden sobre variables de individuos, en ordenes superiores sobre propiedades, y así), las lógicas paraconsistentes son deductivas, la lógica intuicionista es deductiva, la teoría de conjuntos es deductiva, etc.

Decir que no pensamos deductivamente, por más que pensemos lógicamente es armar una lógica alrededor de cómo pensamos. Pero la lógica no está para modelar nuestro pensamiento, porque cometemos errores, es una técnica para corregir nuestras inferencias. Ver cómo pensamos es competencia de la psicología, no de la lógica, y si bien algunos desarrollos matemáticos puedan predecir el resultado de inferencias de sentido común eso dice bien poco sobre nuestro cerebro y es sólo parte de la futura explicación.

PD Obvio que es un algoritmo (todos los programas son algoritmos, todo lo computacional es algorítmico), el tema es que ese algoritmo tiene muchas similitudes con los resultados que tira la lógica cuántica. Aparatos pueden usar fuzzy logic y son algoritmos. Estas hablando de dos aspectos separados que no son excluyentes, un algoritmo es simplemente un procedimiento efectivo para resolver un problema de forma mecánica, el tema es que se pueden construir algoritmos de muchas maneras y eso los asemeja a la forma de operar de una lógica. Nuestras computadoras si bien tienen lógica, no están programadas con lógica, están programadas con un lenguaje computacional dado.

Pero yo no digo modelizar el pensamiento en general, digo que se puede modelizar ciertas respuestas del actuar humano. y con respecto a "Nuestras computadoras si bien tienen lógica, no están programadas con lógica, están programadas con un lenguaje computacional dado", existe algún lenguaje que se base en lógica cuántica?

[Morfeanath]

Pero yo no digo modelizar el pensamiento en general, digo que se puede modelizar ciertas respuestas del actuar humano. y con respecto a "Nuestras computadoras si bien tienen lógica, no están programadas con lógica, están programadas con un lenguaje computacional dado", existe algún lenguaje que se base en lógica cuántica?

No tengo idea, pero evidentemente algo como C++ es suficientemente poderoso como para poder modelar la lógica cuántica porque el buscador de google hizo algo así. Vos tené en cuenta que los lenguajes de programación son mucho más potentes (matemáticamente hablando) que cualquier lógica, porque están para resolver muchas cosas distintas, las lógicas son específicas y se construyen con fines teóricos.

Algo característico de la lógica cuántica es que el orden de los argumentos en la disyunción/multiplicación lógica altera el producto. O sea, a o b da diferente que b o a. No creo que sea un gran problema programar eso.

Justamente eso es poco decir, porque hasta la lógica proposicional (ya que la mencionas tanto) predice ciertas inferencias truchísimas humanas. Con lógica proposicional se puede reproducir una parte realmente chica de nuestra forma de hablar, pero se puede hacer. Para "Hace frío, che, y encima llueve; por lo tanto llueve" no necesitas más.

[NeuroN]

La cosa es q las tortugas estas al estar tan apartadas de todo no se desarrollaron una mierda para la supervivencia y cualquier mierda las puede extinguir.

[cibgks]

No tengo idea, pero evidentemente algo como C++ es suficientemente poderoso como para poder modelar la lógica cuántica porque el buscador de google hizo algo así. Vos tené en cuenta que los lenguajes de programación son mucho más potentes (matemáticamente hablando) que cualquier lógica, porque están para resolver muchas cosas distintas, las lógicas son específicas y se construyen con fines teóricos.

Algo característico de la lógica cuántica es que el orden de los argumentos en la disyunción/multiplicación lógica altera el producto. O sea, a o b da diferente que b o a. No creo que sea un gran problema programar eso.

Justamente eso es poco decir, porque hasta la lógica proposicional (ya que la mencionas tanto) predice ciertas inferencias truchísimas humanas. Con lógica proposicional se puede reproducir una parte realmente chica de nuestra forma de hablar, pero se puede hacer. Para "Hace frío, che, y encima llueve; por lo tanto llueve" no necesitas más.

Estás diciendo cosas sin fundamento, o con fundamentos erróneos. No existe ningún lenguaje de programación basado en lógica cuántica, por eso todavía no pudieron quebrar la encriptación RSA (la que rige el 99.9% de la información hipersensible de todo el mundo).

Y no tiene nada que ver que el C++ sea suficientemente poderoso, no podes modelar lógica cuántica en un sistema no cuántico (es decir, en una pc que trabaje en un modo no-cuántico). Cuando se pueda crear una computadora que labure así, RECIÉN AHÍ se va a poder empezar a hablar de un lenguaje que tome como base la lógica cuántica. Por el momento todo está en "principio de ..." no tenemos las herramientas (aún) para lograrlo hacer efectivo.

Justamente eso es poco decir, porque hasta la lógica proposicional (ya que la mencionas tanto) predice ciertas inferencias truchísimas humanas. Con lógica proposicional se puede reproducir una parte realmente chica de nuestra forma de hablar, pero se puede hacer. Para "Hace frío, che, y encima llueve; por lo tanto llueve" no necesitas más.

Y qué tiene que ver? Ahí estás representando una oración, yo estoy hablando de PREVENIR, y resulta insulso tratar de hacerlo con lógica prop.

Ejemplo:
Si hoy agarran ganas de cagar, que voy a hacer?
a) Tengo papel?
b) estoy en casa?
c) ...
aa) tengo inodoro?

Te quiero decir que para prevenir algo así, son tantas las premisas a considerar que no va.

Perdoná mi enrage, pero estás diciendo un poco más que es trivial o "que no crees que sea muy complicado de programar" algo que, hace 10 años tiene a 30303030 tipos tratando de hacerlo. No me gusta cuando alguien me habla con un dejo de superioridad y no sabe de lo que está hablando.

[Morphio]

cibgks, no es el tema y no tiene nada que ver.
si queres comentar lo que aprendiste en tu ultimo curso, este no es el lugar.

gracias.

[RazorsEdge]

deje de leer el thread un par de dias, y tan hablando de c++ y logica cuantica, WTF

[cibgks]

cibgks, no es el tema y no tiene nada que ver.
si queres comentar lo que aprendiste en tu ultimo curso, este no es el lugar.

gracias.

ohh, perdón.

[Bonadeo]

[cibgks]

JAJAJAJAJJAJAJAJAJAAAAAAAAAAAAAAAAJAJAJAJAJAAAAAAA AAAAJAJAJAJAJAJAJAJAJAJAJA

loco de donde sacas esos gif jajajajajajajajajajaja siempre la pegas