| Autor |
Mensagem |
Scrutinizer
Veterano |
# jan/12
· votar
Die Kunst der Fuge
Tô lendo isso aqui, ó.
http://en.wikipedia.org/wiki/Proof_sketch_for_G%C3%B6del%27s_first_inc ompleteness_theorem
|
Die Kunst der Fuge
Veterano |
# jan/12
· votar
Scrutinizer
Vou ver.
Aprenda direitinho pra me explicar depois também.
|
neologist_
Veterano |
# jan/12
· votar
Die Kunst der Fuge
E mais, como é que foi que o Godel demonstrou isso? E como generalizou? Isso me parece um caso bem particular.
Se quiser a coisa bruta, o teorema foi formulado nesse artigo:
http://researcher.ibm.com/files/us-hirzel/canon00-goedel.pdf
|
Die Kunst der Fuge
Veterano |
# jan/12 · Editado por: Die Kunst der Fuge
· votar
neologist_
Se quiser a coisa bruta
Eu não quero não!
Quero a coisa bruta mastigada e servida em forma de papinha, sabe onde consigo?
Tô lendo esse da wikipédia mas acho que é pra quem já tem dente de leite =/
Edit: Tu leu esse bruto ae?
|
One More Red Nightmare
Veterano |
# jan/12
· votar
nossa, num passado muito distante eu recordo em debater-me nas cordas da razão e tentando entender esse negocio do godël.
Vou ler os posts do neologista e ver se lembro.
|
Die Kunst der Fuge
Veterano |
# jan/12
· votar
debater-me nas cordas da razão
Uahuahudhuahuhusahsuhsuhsuhusa
|
Scrutinizer
Veterano |
# jan/12
· votar
Agora que entendi vou ler o artigo.
|
One More Red Nightmare
Veterano |
# jan/12
· votar
Die Kunst der Fuge
tetei soar pugilístico.
Qual a aplicação (mesmo que teórica) dessa demonstração?
|
Die Kunst der Fuge
Veterano |
# jan/12
· votar
One More Red Nightmare
Qual a aplicação (mesmo que teórica) dessa demonstração?
Desculpe, mas me recuso a proferi-la.
|
Die Kunst der Fuge
Veterano |
# jan/12
· votar
É motivo de suicídio.
|
One More Red Nightmare
Veterano |
# jan/12
· votar
Die Kunst der Fuge
o que você significa?
|
Die Kunst der Fuge
Veterano |
# jan/12
· votar
One More Red Nightmare
o que você significa?
asuhsuhd nice =P
|
Die Kunst der Fuge
Veterano |
# jan/12
· votar
Scrutinizer
E aí?
|
Scrutinizer
Veterano |
# jan/12
· votar
Die Kunst der Fuge
Deu mó preguicinha, amanhã eu termino.
Mas acho que isso não desbanca o Logicismo.
|
neologist_
Veterano |
# jan/12 · Editado por: neologist_
· votar
Die Kunst der Fuge
Esse exemplo que você deu não é simplesmente um paradoxo?
Sim, é o paradoxo do mentiroso ("eu não sou verdadeiro").
Edit: Tu leu esse bruto ae?
Mas nem fodendo! Consultei o assunto por curiosidade quando estudei alguns do Círculo de Viena.
Eu não sei até que ponto esses teoremas afetam o Logicismo. Eu li que o próprio Gödel também formulou um teorema da completude lógica em "The Completeness of the Axioms of the Functional Calculus of Logic" - fato que os desconstrucionistas-irracionalistas-pós-modernos parecem não querer trazer à tona. =P
Eu não consegui encontrar o "Completeness of...", e não entendo nada de epistemologia. Se você se interessar, dê uma olhada nesses artigos:
New World Encyclopedia - Completeness Theorem
Standford Encyclopedia of Philosophy - Completeness Theorem
Nas duas páginas, você também vai encontrar os teoremas da incompletude logo abaixo dos tópicos linkados.
|
tambourine man
Veterano |
# jan/12
· votar
Simonhead trollou legal na pág. 1. BRAVO!
|
tambourine man
Veterano |
# jan/12 · Editado por: tambourine man
· votar
neologist_
O melhor episódio do círculo de viena foi quando o Wittgestein ownou geral o pessoal dizendo que eles não entenderam nada da obra dele. Göedel só deu o golpe de misericórdia naquela igreja
no mais, a tradução dos seus posts é a seguinte:
mimimi sou discípulo do devil boy mimimi vou reduzir o universo à lógica mimimi
|
neologist_
Veterano |
# jan/12
· votar
tambourine man
mimimi sou discípulo do devil boy mimimi vou reduzir o universo à lógica mimimi
Na verdade, é a mátemática à lógica, e o universo às sentenças observacionais. =]
|
One More Red Nightmare
Veterano |
# jan/12
· votar
neologist_
O que você estuda?
|
neologist_
Veterano |
# jan/12
· votar
One More Red Nightmare
Pseudociências sociais, habilitação em Sociologia.
|
One More Red Nightmare
Veterano |
# jan/12
· votar
neologist_
você tem espirito, continue assim.
|
Die Kunst der Fuge
Veterano |
# jan/12
· votar
One More Red Nightmare
você tem espirito, continue assim.
Ele é o orgulho da nossa geração, desde quando era um bebezinho de 12 anos.
|
tambourine man
Veterano |
# jan/12
· votar
neologist_
Scrutinizer
devil boy
se a matemática fosse reduzível à lógica, hoje estaríamos assistindo computadores publicarem artigos de matemática.
|
tambourine man
Veterano |
# jan/12
· votar
One More Red Nightmare
você tem espirito, continue assim.
ofensa disfarçada. Chamou de platonista/idealista. Eu não deixava barato
|
tambourine man
Veterano |
# jan/12
· votar
DESAFIO AOS LOGICISTAS
alimentem um computador com axiomas e façam ele vomitar teoremas por pura dedução lógica. Se ele provar que 1+1=2, eu mudo o meu nick para Razão Pura e abandono todas as minhas pós-modernices para me tornar o ideal iluminista de um filósofo sem corpo.
TRUCO!!!
|
Simonhead
Veterano |
# jan/12
· votar
tambourine man
Valeu! \o
|
tambourine man
Veterano |
# jan/12
· votar
Simonhead
keep on trollin' in the free world
|
Simonhead
Veterano |
# jan/12
· votar
tambourine man
There was a reason for that - I guess you noticed it.
Plus: in doubt, troll!
|
tambourine man
Veterano |
# jan/12
· votar
Simonhead
claro, foi justificado, trollagem limpa. No mais, esse meu desafio só vai demonstrar a hegemonia do feeling e provar o teorema máximo do OT
slash >>> malmsteen
|
AnaClara
Veterano |
# jan/12
· votar
A mais legal é a platoniana.
|