Prova matemática gerada por computador é maior que a Wikipédia

Provas matemáticas podem ser tornar muito extensas. Alguns matemáticos já dedicaram anos preenchendo o texto de suas demonstrações. Mas após o surgimento dos computadores, tornou-se comum o uso de algoritmos para auxiliar na dedução das provas ou até mesmo gerá-las. O problema é que, às vezes, as demonstrações são tão complexas ou tão extensas, que […]

Leia Mais

A energia que precisamos poderia ser importada da Lua

A Shimizu Corporation, empresa japonesa de construção, arquitetura e engenharia, apresentou um conceito de captação de energia que utiliza uma grande estrutura de paineis solares, chamada LUNA RING, para capturar energia e poderosas antenas para transmiti-la à Terra em forma de microondas e lasers de alta densidade de energia. A expectativa da empresa é que […]

Leia Mais