A regra-ω -passado, presente e futuro

Antes de apresentarmos alguns problemas filosóficos referentes às demonstrações infinitas, e a Regra-ω, fazemos uma discussão sobre as origens da regra com algumas citações históricas. Apresentamos o Primeiro e Segundo Teoremas de Gödel e o Teorema de Loëb. Introduzimos a Aritmética Clássica de Primeira Ordem com Regra-ω e vários outros sistemas, estabelecendo algumas relações entre eles. Apresentamos o Teorema de SchÜtte-Mintz e estendemos a aritmética através de indução transfinita, com várias aplicações da eliminação do corte. este trabalho constituiu um curso ministrado no "VI Encontro Brasileiro de Lógica", realizado na Universidade Federal do Ceará, Fortaleza, em 1982.