"Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos et generaliter nullam in infinitum ultra quadratum potestatem in duos ejusdem nominis fas est dividere: cujus rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet."
Não, esta demonstração não está na Proof Wiki... Mas há algumas outras, menorzinhas, em maior ou menor estágio de completamento. Todos podem contribuir. http://www.proofwiki.org/ A parte de Lógica ainda está bem fraquinha. * * * Se nada se salvar da iniciativa, haverá ao menos as piadinhas: http://www.proofwiki.org/wiki/ProofWiki:Jokes Curiosamente, boa parte delas dizem respeito à área de Lógica. The Axiom of Choice is obviously true; the Well Ordering Principle is obviously false; and who can tell about Zorn's Lemma? -- Jerry Bona Há ainda a dos bourbakistas necessários para trocar uma lâmpada, o paradoxo de Banach-Tarski, o Principia Mathematica, etc. * * * Joao Marcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l