Campagne de collecte 15 septembre 2024 – 1 octobre 2024
C'est quoi, la collecte de fonds?
recherche de livres
livres
Campagne de collecte:
19.0% pourcents atteints
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Z-Recommend
Les sélections de livres
Les plus populaires
Catégories
La participation
Faire un don
Téléchargements
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Search paper books
Ouvrir LITERA Point
La recherche des mots clé
Main
La recherche des mots clé
search
1
Hilbert's program: An essay on mathematical instrumentalism
Springer Netherlands
Detlefsen M.
,
Davidson
,
Donald
,
Hintikka
,
Jaakko
,
Nuchelmans
,
Gabriál
ideal
finitary
hilbert
hilbertian
mathematics
proofs
soundness
mathematical
reasoning
formula
epistemic
truths
evidence
argument
provable
contentual
instrumentalist
methods
metamathematical
propositions
proposition
theorems
instrumentalism
formal
kreisel
theorem
frege
strategy
induction
inference
classical
regarding
standard
conclusion
lpc
derivability
reliability
formulae
genuine
godel
unprovability
pah
method
defense
dilution
stability
itself
utility
finitarily
axioms
Année:
1986
Langue:
english
Fichier:
DJVU, 1.72 MB
Vos balises:
0
/
0
english, 1986
2
Hilbert’s Program: An Essay on Mathematical Instrumentalism
Springer Netherlands
Michael Detlefsen (auth.)
ideal
finitary
hilbert
hilbertian
proofs
mathematics
soundness
mathematical
reasoning
formula
epistemic
truths
evidence
argument
provable
metamathematical
contentual
instrumentalist
methods
propositions
proposition
instrumentalism
theorems
formal
kreisel
theorem
frege
strategy
induction
inference
classical
regarding
standard
conclusion
derivability
lpc
reliability
formulae
genuine
unprovability
method
defense
dilution
itself
mostowski
stability
utility
finitarily
axioms
provability
Année:
1986
Langue:
english
Fichier:
PDF, 7.00 MB
Vos balises:
4.0
/
0
english, 1986
3
Ergodic Theory and Dynamical Systems I : Proceedings, special year, Maryland 1979-80
Birkhauser
A. Katok
,
editor
lemma
ergodic
collision
orbit
orbits
define
theorem
continuous
suppose
finite
invariant
sets
defined
proposition
mapping
partition
systems
solutions
positive
lebesgue
triple
implies
sequences
solution
bernoulli
finitarily
function
manifold
remark
assume
corollary
unstable
ei_l
interval
prove
exists
satisfies
map
shift
behavior
kepler
stable
transformations
matrix
zero
denote
ejection
axis
choose
dense
Année:
1981
Langue:
english
Fichier:
DJVU, 2.28 MB
Vos balises:
0
/
0
english, 1981
4
Ergodic Theory and Dynamical Systems I: Proceedings Special Year, Maryland 1979–80
Birkhäuser Basel
Daniel J. Rudolph (auth.)
,
A. Katok (eds.)
lemma
ergodic
collision
orbit
orbits
define
theorem
continuous
suppose
finite
invariant
defined
sets
mapping
proposition
partition
systems
solutions
positive
triple
lebesgue
manifold
sequences
implies
bernoulli
solution
remark
function
corollary
finitarily
unstable
assume
behavior
interval
prove
satisfies
exists
shift
kepler
transformations
map
denote
matrix
stable
zero
automorphism
choose
ejection
maps
measures
Année:
1981
Langue:
english
Fichier:
PDF, 6.10 MB
Vos balises:
0
/
0
english, 1981
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×