Significats de aritmética finitária en portuguès

Pelo contrário, as asserções da aritmética finitária são significativas, têm um conteúdo.

Propôs que em aritmética finitária, identifiquemos os números naturais com os símbolos numéricos:

Hilbert também sustentou que o conteúdo da aritmética finitária é essencial a todo o pensamento humano.

Não há fundação mais preferencial, ou mais epistemicamente segura, do que a aritmética finitária (ver Tait 1981).

A aritmética finitária não pode ser absolutamente incorrigível, nem imune de dúvida, mas é tão certa quanto é humanamente possível.

Por certo, a aritmética finitária é só uma pequena (e potencialmente trivial) porção da maravilhosa tapeçaria da matemática.

A primeira investida para além da aritmética finitária consiste em proposições sobre números naturais (ou tipos de caracteres) que contêm quantificadores ilimitados.

Hilbert propôs que o conteúdo da aritmética finitária seja constituído por "os símbolos concretos eles próprios, cuja estrutura é imediatamente clara e reconhecível".

Do mesmo modo que os pontos ideais simplificam e unificam muita geometria, a matemática ideal permite-nos facilitar e lidar mais eficientemente com a aritmética finitária.