Em 1931 Kurt Gödel publicou um trabalhou que iria abalar os fundamentos da lógica e da matemática. Ele mostrou que se a matemática for consistente ela necessariamente é incompleta. Ou seja, que há sentenças matemáticas que são verdadeiras porém não-demonstráveis. As implicações dos resultados de Gödel são discutidas até hoje e influenciam àreas como a filosofia, neurociência e ciências da computação. O presente minicurso tem por objetivo apresentar o raciocínio que conduz a prova de Gödel de maneira acessível e contextualizada historicamente. De modo que seja possível acompanhar a demonstração e entender seus resultados mesmo com um reduzido conhecimento em lógica e matemática.

Nesta contribuição dedicada ao PET – Física, mostraremos inicialmente como Desenvolvimento Humano e Ciência caminham pari passu. Em seguida serão apresentadas as principais questões da Ciência, com ênfase na Astronomia e na Física, ainda sem respostas e o esforço que o nosso Núcleo de Estudos na UFRN está realizando, para contribuir na solução de algumas dessas questões. Como base desse esforço está o desenvolvimento e construção de instrumentação científica conduzidos por consórcios internacionais dos quais fazemos parte.