m

F Nous contacter

0

Documents  03D25 | enregistrements trouvés : 22

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 150 p.
ISBN 978-0-8218-3819-8

Contemporary mathematics , 0425

Localisation : Collection 1er étage

logique

03C52 ; 03D25 ; 03D35 ; 03D80 ; 03E05 ; 03E15 ; 03E55 ; 03E60 ; 05C12 ; 52C20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 320 p.
ISBN 978-0-8218-1922-7

Contemporary mathematics , 0257

Localisation : Collection 1er étage

application de la calculabilité # arithmétique # arithmétique d"ordre élevé # degré # degré de Turin # ensemble récursivement énumérable # fonction calculable # logique # modèle nonstandard # numération # récurrence # réductibilité # théorie de récurrence # théorie des modèles # théorie descriptive des ensembles

03C57 ; 03D25 ; 03D28 ; 03D30 ; 03D45 ; 03D80 ; 03E15 ; 03E35 ; 03F35 ; 03H15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Computer Science;Logic and Foundations

I will discuss two recent interactions of the field called randomness via algorithmic tests. With Yokoyama and Triplett, I study the reverse mathematical strength of two results of analysis. (1) The Jordan decomposition theorem says that every function of bounded variation is the difference of two nondecreasing functions. This is equivalent to ACA or to WKL, depending on the formalisation. (2) A theorem of Lebesgue states that each function of bounded variation is differentiable almost everywhere. This turns out to be equivalent WWKL (with some fine work left to be done on the amount of induction needed). The Gamma operator maps Turing degrees to real numbers; a smaller value means a higher complexity. This operator has an analog in the field of cardinal characteristics along the lines of the Rupprecht correspondence [4]; also see [1]. Given a real p between 0 and 1/2, d(p) is the least size of a set G so that for each set x of natural numbers, there is a set y in G such that x and y agree on asymptotically more than p of the bits. Clearly, d is monotonic. Based on Monin's recent solution to the Gamma question (see [3] for background, and the post in [2] for a sketch), I will discuss the result with J. Brendle that the cardinal d(p) doesn't depend on p. Remaining open questions in computability (is weakly Schnorr engulfing equivalent to "Gamma = 0"?) nicely match open questions about these cardinal characteristics. I will discuss two recent interactions of the field called randomness via algorithmic tests. With Yokoyama and Triplett, I study the reverse mathematical strength of two results of analysis. (1) The Jordan decomposition theorem says that every function of bounded variation is the difference of two nondecreasing functions. This is equivalent to ACA or to WKL, depending on the formalisation. (2) A theorem of Lebesgue states that each function of ...

03D25 ; 03D32 ; 03F60 ; 68Q30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 372 p.
ISBN 978-90-01-57070-5

Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics

Localisation : Ouvrage RdC (MALC)

recursion # fonction recursive # problème de mots # algorithme # équantion diophantienne # fonction arithmétique # réductibilité # machine de Turing # théorème de Church # 10ème problème de Hilbert

03Dxx ; 03D20 ; 03-01 ; 03-02 ; 03D45 ; 03D25 ; 03D35 ; 03D10 ; 03D40 ; 03D03 ; 03B25 ; 68W99 ; 11U05 ; 11D99

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xvi; 176 p.
ISBN 978-0-521-11969-6

Lecture notes in logic , 0034

Localisation : Ouvrage RdC (LERM)

théorie de la preuve # choix # logique formelle # logique mathématique # ensemble recursivement enumerable # problème de Post # retour arrière # dommages finis # dommages infinis

03-02 ; 03D25 ; 03Dxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xxviii; 855 p.
ISBN 978-0-387-95567-4

Theory and applications of computability

Localisation : Ouvrage RdC (DOWN)

algorithmique # théorie de l'information # informatique #
complexité de Kolmogorov # théorie de la récurrence

03D25 ; 03D30 ; 03D80 ; 68Q30 ; 68-99 ; 03D32

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 99 p.
ISBN 978-0-8218-3885-3

Memoirs of the american mathematical society , 0854

Localisation : Collection 1er étage

théorie de la récursion # finitude # ordinal admissible # énulérable récursivement # plongement de réseau

03D60 ; 03D25 ; 03D30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 210 p.

McGraw-Hill series in information porcessing and computers

Localisation : Ouvrage RdC (DAVI)

calculabilité # insolubilité # fonction calculable # fonction récursive # machine de Turing # analyse combinatoire # équation diophantienne # 10ème problème de Hilbert

03Dxx ; 03-01 ; 03-02 ; 03D60 ; 03D20 ; 03D10 ; 03D35 ; 03D03 ; 03D40 ; 11D99 ; 03D55 ; 03D25 ; 03D30 ; 03D80

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 396 p.
ISBN 978-0-19-853450-1

Oxford logic guides , 0027

Localisation : Ouvrage RdC (SMUL)

arithmétique # logique # logique combinatoire # numération de Gödel # point fixe # récursion # synchronisation # système formel # système récursif # système séquentiel # théorème d"incomplétude

03-01 ; 03-02 ; 03B40 ; 03D20 ; 03D25 ; 03F30 ; 03F40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 307 p.
ISBN 978-2-225-84835-3

Axiomes

Localisation : Ouvrage RdC (MATI)

dixième problème # ensemble diophantien # indécidabilité # indécidabilité algorithmique # nombre entier rationnel # problème de Hilbert # solution négative # équation de Diophante

01A60 ; 03D25 ; 11U05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8218-2601-0

Memoirs of the american mathematical society , 0541

Localisation : Collection 1er étage

automorphisme # automorphisme du treillis des ensembles énumérables récursiv # degré énumérable récursivement haut # filtre principal # isomorphisme

03D25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 437 p.
ISBN 978-3-540-15299-6

Perspectives in Mathematical Logic

Localisation : Ouvrage RdC (SOAR)

degré de réductibilité # ensemble énumérable recursivement # récursion

03D10 ; 03D25 ; 03D30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 141 p.

Localisation : Ouvrage RdC (GRZE)

ensemble récursivement énumérable # fonction calculable # fonction récursive # hiérarchie # indécidabilité # métamathématique # problème de décision # théorie des nombres intuitioniste # théororème de Gödel

03D20 ; 03D25 ; 03D35 ; 03D55 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 396 p.
ISBN 978-0-387-13902-9

Lecture notes in mathematics , 1106

Localisation : Collection 1er étage

03D25 ; 03D60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 100 p.

Collection de logique mathématique série A , 0017

Localisation : Ouvrage RdC (GRZE)

effectivité des méthodes de réduction # ensemble non récursif # ensemblement récursivement énumérable # fonction récursive # logique mathématique # problème de décision # représentabilité de relation récursive

03D20 ; 03D25 ; 03Dxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 307 p.
ISBN 978-0-387-12155-0

Perspectives in mathematical logic

Localisation : Ouvrage RdC (LERM)

degré de non solvabilité # fonction récurrente # hiérarchie # opérateur des sauts # segment initial # treillis

03D20 ; 03D25 ; 03D30 ; 03D35 ; 03D55

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 133 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (TARS)

addition ordinaire relationnelle # algèbre ordinaire # arithmétique

03D25 ; 03E10 ; 04A05 ; 04A10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 482 p.

McGraw-Hill series in higher mathematics

Localisation : Ouvrage RdC (ROGE)

calculabilité effective # degré d'insolvabilité # ensemble récursif et énumérable récursivement # hiérarchie analytique et arithmétique # problème de Post # problème insoluble # réductibilité de Turing # théorie des fonctions récursives

03D03 ; 03D20 ; 03D25 ; 03D30 ; 03D55

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 186 p.

Notes on mathematics and its applications

Localisation : Ouvrage RdC (DAVI)

algèbre de Boole # calcul différentiel # congruence # ensemble dénombrable # ensemble récursivement énumérable # groupe # géométrie analytique # matrice # ordinateur # reste # série infinie # équation diophantienne

03D25 ; 03G05 ; 11D79 ; 11Dxx ; 51Nxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 412 p.

Actualités scientifiques et industrielles , 1317

Localisation : Ouvrage RdC (OUSP)

constructivisation de définition négative # ensemble récursivement énumérable # ensemble universel # fonction calculable # fonction partielle récursive # fonction primitive récursive # fonction universelle # logique mathématique # machine à calculer abstraite # prédicat général récursif # prédicat primitif récursif # prédicat récursivement énumérable # séparation des réels calculables # théorie des ensembles # théorie des fonctions

03D20 ; 03D25 ; 03D80 ; 03Dxx

... Lire [+]

Z