adicionar à lista de desejos
Logique Arithmétique ; L'Arithmétisation De La Logique
idioma: francês
Editor:
PRESSES DE L'UNIVERSITE DE LAVAL, novembro de 2010 ‧
ver detalhes do produto
38,94€
10% DESCONTO
CARTÃO
V1hVM1FsZFdSMnhLTUM5aVdUUkJWbWszUlVSaFYxSlVTRFJVZEZoamRISk1ibkYxTjJ0d1ZtSm9Wa05PZVZSV2FYaGxSbkE1TTJKaE4yTnliRkpVZHpoelFYbEpUVVJyYkU1alpGaDRTeXRaVDJwcWIyWk5NVUprWWxWSWNqbEdWMFZEWkRjNGFHcFhiMkpIYVRsMk9VSkRjV1pwTTA5RlYwaElVbGRQV1hSQ05HWnFlalpuUWxZNFpWaG1kbWs1WkU5TmVIVmlNakZ0V2xFelRqQkRlSEZvZG5KcFduUldhVmhaZW01bFR6ZEVhSEZqYjNCVVZrZHpRV2h4YVV0NE1uZDBjbWs0VVdwNlYwOHdaMWMyZGtGdVFVTnBOM2t3VXpONmRtcHZlRkJZTjNSclZTdFZlbmd3ZW5OUE0xYzRkWHBpTTBOQ1JETlVWUzl1TkVWNFEwOUlRak0yYkVSU1RtWkNZa1UyTjFOSmJsUkZiakZxU0dWR1dXZFJkRmsxU0hSc1NrUkhXbGRCWkVab1RrOHpOWGh6Y1ZkNFJsRjRjSEpvVHpST2FqRXlhek0wUkdscVZGZEhkVWhIUm5wUVlYSjNTVGhqTjNkUlVtRXllazE0VlZGaWJuUk1PRU0xT0RkUFYyVkVXbkZYY3pobGJITjJZa3B4V0VzMlNYcDRWME5PTW1sdE4wcDFMemQwYzNCcGEzaG1WM2swVTFkd1VETk5PREpDTm5wRUsxQTBOM2Q1U1dwcGJHaFVTRTU2VTJWYVFYTlZiMVJhYlhGRVdIVnJhME0xUlRsMk5EZDNZWFI0TVd0NlZsWjFkRzV3VkVGVWVWTm1MMDRyZWpoc2JuRlNVMHBUVTI0NE1FeHVSVTk0U3paaVVsZDBjakpVVDBVeVFreHllR0Z1TW5wSFNtOWxjVWhzWTAxMFUxTjRkbnBpTHpKc2FsZzFXRmhyWVdKaFpUZHVWbmxHVG14cU9WZEdMMGRxZG5obldUUk1Na295UlZVeFowTmhObFZGWmt0Q1ZtcFdSMk15YkZwSk9UUkhSazFIU25sWlpEZEdaV3hTV1M5Q09GaEZlVU5DYTBjdlVWcFFVSE5WYzNReVJYbFBORXRUVDFoTmR6bHdOWEpWYUZKWFRFRm5OaXRJYldsaWEwbDBkR3g1VVdoYVJEY3lWeXRPY0VselV6ZElTMUpMTlU1TGVqUkViWEZtT1VneGMzaDRUemg1WkRKTlZIaFJNRzlTZGxsaloySktRVk5SY1VjcmJVVnFSbXRaZGxSUGNUaHBVMUUxZFdkamQxTk9SME5LUlZoTFZrTTRaM0pTY0hBM1MzYzVhWFJwV1RkblVsbDVkM0V6VFhWamJsSnlNSFJ1ZEdoWVJrSXZPRlJwZEdkMGNXaHlkejA5OmpzbzJrb1p5VXdvWElEQUszdzNQTlE9PQ==
portes grátis
SINOPSE
La logique arithmétique est la logique interne de l'arithmétique, c'est la traduction ou l'interprétation de la logique formelle dans le langage de l'arithmétique. Cette arithmétique n'est pas l'arithmétique formelle de Frege et Peano, mais l'arithmétique classique de Fermat à Kronecker jusqu'à la théorie contemporaine des nombres. L'hypothèse proposée ici suppose qu'après l'arithmétisation de l'analyse, chez Cauchy et Weierstrass, et l'arithmétisation de l'algèbre, chez Kronecker, la logique formelle a amorcé son arithmétisation avec Hilbert pour atteindre son aboutissement avec l'informatique théorique actuelle. Dans cette perspective, la méthode de la descente infinie de Fermat et l'arithmétique générale de Kronecker fournissent une critique constructiviste de l'induction transfinie en même temps qu'une preuve de consistance interne de l'arithmétique polynomiale. La position fondationnelle défendue dans l'ouvrage se réclame du constructivisme logicomathématique et constitue les assises d'un programme qu'on peut bien appeler « logique de la science » après Peirce et Carnap. Le motif recteur des travaux formels est d'ordre philosophique et c'est dans un esprit oecuménique que l'auteur a voulu mener ces recherches.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9782763789972 |
| Editor: | PRESSES DE L'UNIVERSITE DE LAVAL |
| Data de Lançamento: | novembro de 2010 |
| Idioma: | Francês |
| Páginas: | 205 |
| Tipo de produto: | Livro |
| Coleção: | Manuels Lgdj |
| Classificação Temática: |
Livros em Francês
>
Ciências Soc. e Humanas
>
Outros
|
| EAN: | 9782763789972 |
LIVROS DA MESMA COLEÇÃO
-
10%Droit Pénal Des Affaires (2e Édition)LGDJ41,45€ 10% CARTÃOportes grátis
-
10%Emergence D'Une Nouvelle Scene Politique Egypte An 2 De La RevolutionL'HARMATTAN14,77€ 10% CARTÃO
-
10%Towards An Arithmetical LogicBIRKHAUSER VERLAG AG31,08€ 10% CARTÃOportes grátis
-
10%Hegel ; Introduction À Une Lecture CritiquePRESSES DE L'UNIVERSITE DE LAVAL26,85€ 10% CARTÃOportes grátis