Oi JM, Dada uma conjectura, por exemplo, uma conjectura matemática, e fixado um sistema axiomático adequado para essa conjectura, por exemplo, ZFC, o primeiro que tem de fazer é tentar demonstrar que essa conjectura é independente no sistema, sob certos pressupostos (p.ex. consistência de ZF). Se chegar à conclusão de que não é independente, então tentar demonstrar. :-)
Agora falando sério, existem muitas possibilidades. Por exemplo, podemos querer demonstrar C e chegar à conclusão de que é falsa, o que pode nos guiar para uma demonstração de não C. Parece que o Teorema de Gödel de 1931 foi algo assim. Uma outra possibilidade, é tentar demonstrar C e chegar à conclusão de que C é indemonstrável (sob certos pressupostos). Isso já aconteceu comigo e, seguramente, com algum outro desta lista. Afinal, usando a conhecida metáfora, o problema é se terminarmos de tropeçar com os móveis, encontrarmos o interruptor e conseguimos acender a luz. Então demonstrar passa a ser simplesmente caminhar pela habitação. É claro que tem muita demonstração tropeçando nos móveis. Mas que coisa feia que elas são! Procedimental ou orientada a objetos, quando falta o conceito, nenhuma outra coisa pode estar no lugar do conceito. Se encontrar uma nova conjectura, então tenta compreender o que essa conjectura está realmente dizendo. Carlos 2012/9/23 Joao Marcos <[email protected]>: > (ainda inspirado na conjectura/teorema ABC) > > o que fazer quando encontramos uma nova conjectura: tentar > demonstrá-la ou refutá-la? > > uma vez que tenhamos escolhido o que fazer, como fazer: usar uma > abordagem "procedimental" ou uma abordagem "orientada a objetos"? > > What are some other good examples of problems that are most known > today for creating new objects? > http://rjlipton.wordpress.com/2012/09/22/what-is-the-object/ > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
