Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
"the three crises in mathematics: logicism, intuitionism and formalism.
"the three crises in mathematics: logicism, intuitionism and formalism.
bob hale and crispin wright argue that it is not a problem for logicism because the incompleteness theorems apply equally to first order logic as they do to arithmetic.
bob hale e crispin wright discutem que não é um problema para a lógica, porque os teoremas da incompletude se aplicam igualmente à lógica de primeira ordem assim como faz para a aritmética.
with the benefit of hindsight, we can see that couturat was in broad agreement with the logicism of russell and whitehead, while poincaré anticipated brouwer's intuitionism.
com o benefício do distanciamento no tempo, podemos ver que couturat estava em grande sintonia com o logicismo de russell e whitehead, enquanto poincaré antecipou o intuicionismo de luitzen brouwer.
* geoffrey hellman, "how to gödel a frege-russell: gödel's incompleteness theorems and logicism.
* geoffrey hellman, "how to gödel a frege-russell: gödel's incompleteness theorems and logicism.
how can these instances be gathered to form a synthesis? says the body was excluded from semiotics theory by the formalism and especially by the logicism that prevailed in the structural linguistics from the 60’s.
como essas instâncias podem ser reunidas para formar uma síntese? segundo , o corpo foi excluído da teoria semiótica pelo formalismo e, sobretudo, pelo logicismo que prevalecia na linguística estrutural dos anos 60.
having exhibited this possibility, frege's larger purpose was to defend the view that arithmetic is a branch of logic, a view known as logicism: unlike geometry, arithmetic was to be shown to have no basis in "intuition", and no need for non-logical axioms.
tendo exposto essa possibilidade, o propósito maior de frege era defender a visão de que a aritmética é um ramo da lógica, uma visão conhecida como logicismo: ao contrário de geometria, aritmética era para ser mostrada como não ter qualquer base na "intuição", e sem necessidade de axiomas não-lógicos.
