Ha muito tempo atras criei algumas animacoes descrevendo algumas construcoes geometricas com ferramentas euclidianas.Os videos estao em dominio publico. Portanto, fiquem a vontade para utiliza-los como quiserem.Construcao do pentagono regularMetodo alternativo de construcao do pentagono regularConstrucao do hexagono regularDuplicacao do quadrado, tal como descrito por Platao em MenonDivisao de um segmento em extrema e media razao (proporcao aurea)Triseccao de um segmentoDada uma unidade de comprimento, encontrar segmentos de reta cujo comprimento corresponde a raiz quadrada de numeros naturais #toc, .toc, .mw-warning { border: 1px solid rgb(170, 170, 170); background-color: rgb(249, 249, 249); padding: 5px; font-size: 95%; }#toc h2, .toc h2 { display: inline; border: medium none; padding: 0pt; font-size: 100%; font-weight: bold; }#toc #toctitle, .toc #toctitle, #toc .toctitle, .toc .toctitle { text-align: center; }#toc ul, .toc ul { list-style-type: none; list-style-image: none; margin-left: 0pt; padding-left: 0pt; text-align: left; }#toc ul ul, .toc ul ul { margin: 0pt 0pt 0pt 2em; }#toc .toctoggle, .toc .toctoggle { font-size: 94%; }body { font-size: 12pt; font-family: 'Times New Roman'; }table { }td { border-collapse: collapse; text-align: left; vertical-align: top; }p, h1, h2, h3, li { font-family: 'Times New Roman'; font-size: 12pt; } Diz o ditado que o papel aceita tudo. Qualquer proposicao pode ser escrita em uma folha de papel - para fins do argumento, considere que pode-se contar com uma folha tao grande quanto for necessario, os caracteres podem ser encolhidos indefinidamente ou mesmo pode-se utilizar uma linguagem mais economica, a qual requeira menos caracteres para expressar uma proposicao. Dado isto, segue-se que qualquer proposicao verdadeira pode ser escrita numa folha de papel (quer reconhecemos a verdade ou nao). Digamos que eu pegue uma folha de papel e comece a escrever quaisquer verdades que me venham a cabeca: 2+2=4, existe um unico proton no nucleo de um atomo de hidrogenio, Charles Dickens e autor de A Tale of Two Cities... Em um momento eu paro para pensar no que mais poderia escrever, e vejo que ainda nao esta escrito na folha que 2+3=5. Entao eu percebo que 2+3=5, mas ainda nao esta escrito na folha que 2+3=5 tambem e uma proposicao verdadeira que poderia ser escrita na folha. Contudo, antes mesmo de terminar de escreve-la, ela ja seria falsa. Desta forma, ha verdades logicamente impossiveis serem escritas em uma folha de papel. Se proposicao verdadeira fosse a mesma coisa que verdade, seguiria que ha proposicoes logicamente impossiveis de serem escritas, ainda que em condicoes ideais estabelecidas. Oras, esta conclusao e inaceitavel. Assim, verdade e proposicao verdadeira sao coisas distintas. Ou seja, uma proposicao nao porta a verdade, mas aponta para esta. Autor: Dante Cardoso Pinto de AlmeidaEsta obra foi licenciada com uma Licenca Creative Commons - Atribuicao - Uso Nao-Comercial - Partilha nos Mesmos Termos 3.0 Nao Adaptada. Na Logica Classica, ha alguns teoremas envolvendo a implicacao considerados paradoxais. Os mais famosos sao: Estes paradoxos nao consistem em antinomias, como o Paradoxo de Russell ou o Paradoxo do Mentiroso. O caso e que eles nao expressam nosso entendimento intuitivo de implicacao.O assunto fica ainda mais interessante quando lidamos com quantificadores. Em seu livro What is