Discord-type quantum correlations in the radical pair mechanism for magnetoreception in birds
Corrélations quantiques de type Discord dans le mécanisme de paires radicalaires pour la magnétoréception chez les oiseaux
★
★
★
★
☆
4/5
Catalogue de tuit
Notes de synthèse d'analyses vidéo, évaluées et condensées, en français et en anglais.
56 576 tuit
·
982 chaînes
·
42 domaines
·
Mise à jour : 13 nov. 2026
Agriculture & Alimentation
177
Archéologie
143
Arts & Architecture
1514
Astronomie & Cosmologie
3735
Automatique & Robotique
397
Biologie
2239
Chimie
353
Climat & Écologie
1114
Développement Personnel
1256
Droit & Justice
599
Économie & Finance
4149
Éducation
807
Énergie
1587
Exploration Spatiale
970
Géopolitique & Défense
602
Histoire
794
IA — Actualité & Applications
2295
IA — Modèles & Recherche
4723
IA & Société
1314
Informatique & Cybersécurité
4602
Ingénierie & Technologies
3466
Jeux Vidéo
960
Langues & Linguistique
326
Littérature & Récits
985
Loisirs & Pratique
470
Mathématiques
2398
Médecine & Santé
3278
Médias & Information
309
Neurosciences
452
Paléontologie
103
Philosophie & Éthique
895
Physique
3647
Politique & Institutions
774
Prospective & Science-Fiction
345
Psychologie
676
Religion & Croyances
259
Sciences — Généralités & Histoire
1902
Sciences De La Terre & Géographie
310
Société & Culture
1217
Sports
98
Transports & Mobilité
232
Urbanisme & Mobilité
104
JPW
Activisme et engagement politique
22
JNK
Administration et organisation de l’éducation
21
MBPM
Administration médicale et gestion
23
JPP
Administration publique
43
KJ
Affaires et gestion
59
VSPM
Affirmation de soi, motivation, estime de soi et attitude mentale positive
494
TVF
Agriculture durable
27
VS
Aide personnelle, développement personnel et conseils pratiques
34
PBF
Algèbre
267
UMB
Algorithmes et structures des données
84
PBV
Analyse combinatoire et théorie des graphes
55
PBKD
Analyse complexe, variables complexes
60
PBKF
Analyse fonctionnelle et transformations
32
PBKS
Analyse numérique
41
PBKB
Analyse réelle, variables réelles
42
JBFU
Animaux et société
24
JHMC
Anthropologie sociale et culturelle
22
PDG
Applications industrielles de la recherche scientifique et innovation technologique
55
UXT
Applications informatiques dans l’industrie et la technologie
20
UYQM
Apprentissage par la machine
1203
NK
Archéologie
43
NKD
Archéologie par période
31
AMB
Architectes et cabinets d’architecture
33
AM
Architecture
36
UYF
Architecture informatique et conception logique
126
AKLF
Art du jeu vidéo
20
TTMW
Artillerie, technologie de l’armement
22
AGB
Artistes, monographies d’art
35
CBW
Arts de l’écriture et techniques de rédaction
28
TTDS
Astronautique
998
WNX
Astronomie populaire et espace
815
PGC
Astronomie théorique et mathématique
77
PG
Astronomie, espace et temps
919
PHVB
Astrophysique
122
TJFM
Automatique
71
WGCB
Automobiles : généralités
27
KFFK
Banque
23
UN
Bases de données
20
PSB
Biochimie
313
RNCB
Biodiversité
37
PSAD
Bioéthique
40
DNBL
Biographie : auteurs
40
DNBH
Biographie : historique, politique et militaire
85
DNBM
Biographie : philosophie et sciences sociales
20
DNBR
Biographie : royauté
26
DNBT
Biographie : science, technologie et médecine
84
PSF
Biologie cellulaire (cytologie)
135
PSAX
Biologie computationnelle
110
PSX
Biologie de l’homme
27
PSC
Biologie liée au développement
41
PSPM
Biologie marine
24
PSD
Biologie moléculaire
188
PSTB
Biologie végétale
32
PS
Biologie, sciences de la vie
30
PHVN
Biophysique
30
TCB
Biotechnologie
63
PBKA
Calcul
44
PBKJ
Calcul différentiel et équations
98
PBK
Calcul et analyse mathématique
66
PBKL
Calcul intégral et équations
29
RNR
Catastrophe naturelle
27
RNPG
Changement climatique
236
TNKH
Chauffage, éclairage et ventilation
25
PN
Chimie
29
PNRL
Chimie nucléaire, photochimie et radiation
27
PNN
Chimie organique
67
PNR
Chimie physique
72
MJCL2
Chimiothérapie
26
RBPC
Climatologie et modélisation du climat
40
UTC
Cloud computing
35
JMR
Cognition et psychologie cognitive
142
JMHC
Communication et compétences interpersonnelles
32
TRPS
Compétences en aviation et pilotage
22
JBFX
Comportement social
22
UGG
Conception de jeux vidéos
249
UYZG
Conception de l’interface utilisateur et facilité d’utilisation
21
VSC
Conseils professionnels et pour atteindre le succès
145
RNKH
Conservation de la faune et des habitats
32
LNDX
Constitution
32
TNK
Construction et matériaux de construction
35
PGK
Cosmologie et univers
1059
CBV
Création littéraire et guides de création littéraire
22
KCX
Crises et désastres économiques et financières
44
URY
Cryptage des données
20
GTS
Décolonisation du savoir
50
JBCT5
Désinformation et mésinformation
77
KCM
Développement économique et économies émergentes
67
UMK
Développement et programmation de jeux
48
MBNH3
Diététique et nutrition
30
WNA
Dinosaures et monde préhistorique : généralités
73
JPSD
Diplomatie
38
JPHL
Dirigeants politiques et leadership
46
DNS
Discours
45
TJFD
Dispositifs électroniques et matériels
261
KJMV22
Diversité, égalité, équité et inclusion sur le lieu de travail
20
ATFR
Documentaires
23
LNCR
Droit de l’énergie et des ressources naturelles
39
LNCH
Droit de la concurrence
29
JPVH
Droits de l’homme, droits civils
48
RNU
Durabilité
65
PHDT
Dynamique et statique
82
RNKH2
Ecologie de la restauration
21
KC
Economie
22
KCVG
Economie de l’environnement
110
KCF
Economie du travail, revenu
101
KCL
Economie internationale
21
KCBM
Economie monétaire
83
KCVM
Economie numérique ou de l’Internet
69
KCP
Economie politique
130
JN
Education
28
JNDH
Education : examens et évaluations
31
JPHF
Elections et référendums
50
PHK
Electricité, électromagnétisme et magnétisme
280
TJFC
Electronique : circuits et composants
190
THR
Electrotechnique
77
VSPQ
Emotions et intelligence émotionnelle
30
MJG
Endocrinologie
24
PHDY
Energie
26
THVW
Energie éolienne
33
THVH
Energie hydraulique
25
THVS
Energie solaire
222
THY
Energie, production d’énergie, distribution et stockage
391
JBF
Enjeux sociaux et éthiques
36
JKVF
Enquête et détection criminelles
43
JNU
Enseignement de sujets spécifiques
30
JNM
Enseignement supérieur
250
KJH
Entreprenariat
209
KJJ
Entreprises et environnement ; approches durables des entreprises
43
MBNS
Epidémiologie et statistiques médicales
127
JNV
Equipement et technologie pour l’éducation, enseignement assisté par ordinateur (EAO)
78
NHTS
Esclavage, personnes réduites en esclavage et abolition de l’esclavage
28
SXE
eSports
25
MBGR1
Essais cliniques
25
KJG
Ethique des affaires et responsabilité sociale
21
QDTQ
Ethique et philosophie morale
54
PSVP
Ethologie et comportement animal
43
GTK
Études cognitives
40
GTC
Études de communication
36
GTP
Études de développement
44
JBSF
Études de genre
27
JBSF1
Études de genre : femmes et filles
104
JBCT
Études des médias
26
JBCT1
Études des médias : Internet, médias numériques et société
72
JBCT4
Études des médias : journalisme
90
GTZ
Études générales et connaissances générales
36
GT
Études interdisciplinaires
22
DSBB
Études littéraires : antiques, classiques et médiévales
24
DSK
Études littéraires : auteurs de fictions, nouvelles et prose
77
DSB
Études littéraires : généralités
26
DSC
Études littéraires : poésie et poètes
50
ATD
études théâtrales
26
PSAJ
Evolution
179
DSRC
Explication de textes littéraires, critiques de livres et guides
37
TTDX
Exploration spatiale
548
MBNH2
Facteurs environnementaux
51
VFJB3
Faire face au cancer
21
ATFN
Film : styles et genres
342
KFFH
Finance des entreprises
32
KCLT
Finance et commerce international
55
KFF
Finance et secteur financier
37
KFFD
Finance publique et fiscalité
51
KFFS
Finance verte
60
PDK
Financement et politique des sciences
70
VSB
Finances personnelles
58
MQCA
Fondamentaux et compétences en soins infirmiers
39
URH
Fraude et piratage informatique
297
PGM
Galaxie et étoiles
347
PSAK
Génétique (non médicale)
660
MFN
Génétique médicale
182
TCBG
Génie génétique
52
UMZ
Génie logiciel
101
THK
Génie nucléaire
223
TGMB
Génie thermodynamique
25
RBGF
Géologie historique et la paléogéologie
51
RBG
Géologie, géomorphologie et lithosphère
28
PBM
Géométrie
22
PBMW
Géométrie algébrique
159
PBMP
Géométrie différentielle et riemannienne
42
PBMH
Géométrie euclidienne
44
PHVG
Géophysique
41
JPSL
Géopolitique
331
THVG
Géothermie
37
KJMB
Gestion : direction et motivation
74
KJMV3
Gestion de l’informatique et des systèmes d’information
42
UT
Gestion de réseaux informatiques et des communications
27
RNH
Gestion des déchets
22
KJMV7
Gestion des ventes et marketing
46
KJMV2
Gestion du personnel et des ressources humaines
41
UGB
Graphisme et conception Web
27
PHDV
Gravité
34
JPWG
Groupes de pression, mouvements de protestation et actions non violentes
37
PBG
Groupes et théorie des groupes
105
JWD
Guerre de l’information
32
NHWR3
Guerres civiles
23
NHTW
Guerres froides et conflits par procuration
20
CBP
Guides et conseils pour parler en public
26
ATFG
Guides et critiques de film
111
UDB
Guides sur Internet et services en ligne
36
JBFM
Handicap : aspects sociaux
27
MJF
Hématologie
23
MJJ
Hépatologie
40
NH
Histoire
41
NHT
Histoire : événements et thèmes spécifiques
29
NHC
Histoire ancienne
37
NHQ
Histoire d’autres groupes géographiques et régions ou de cultures
27
AGA
Histoire de l’art
40
NHF
Histoire de l’Asie
20
NHD
Histoire de l’Europe
27
UBB
Histoire de l’informatique, du numérique et des technologies de l’information
57
TBX
Histoire de l’ingénierie et des technologies
33
KJZ
Histoire de sociétés, d’entreprises, d’activité
41
NHK
Histoire des Amériques
56
JBCC9
Histoire des idées
20
PBX
Histoire des mathématiques
43
PDX
Histoire des sciences
165
NHTM
Histoire maritime
34
NHWR9
Histoire militaire : conflits de l’après-Seconde Guerre mondiale
20
NHTB
Histoire sociale et culturelle
86
ATFA
Histoire, théorie ou critique cinématographique
46
MFCH
Histologie
20
NHAH
Historiographie
35
UXA
Humanités numériques
50
WHB
Humour politique
23
JPFQ
Idéologies et mouvements politiques d’extrême droite
21
MKS
Imagerie médicale
21
MJCM
Immunologie
102
PDR
Impact de la science et de la technologie sur la société
129
RNT
Impact social des questions environnementales
50
KNTV
Industrie des jeux informatiques et vidéo
238
KNB
Industries de l’énergie et de service public
227
KNBL
Industries de la production et distribution de l’électricité
282
KNTX
Industries de technologie de l’information
429
KNBT
Industries des énergies alternatives et renouvelables
139
KNBP
Industries du pétrole et du gaz
96
PBTB
Inférence bayésienne
32
UY
Informatique
73
UD
Informatique : guides pour l’utilisateur
35
MBF
Informatique médicale et de santé
67
UYX
Informatique naturelle
910
UYA
Informatique théorique
259
TBC
Ingénierie : généralités
23
TGMF
Ingénierie : mécanique des fluides
23
TGMD
Ingénierie : mécanique des solides
24
MQW
Ingénierie biomédicale
24
KJD
Innovation dans les affaires
52
KJDD
Innovation de rupture
29
PSVA2
Insectes (entomologie)
23
GTV
Institutions et sociétés savantes : généralités
34
JPSN
Institutions internationales
28
UYQ
Intelligence artificielle (IA)
2294
UYQD
Intelligence artificielle générale (IAG)
53
UYQF
Intelligence artificielle générative
2676
UBW
Internet : travaux généraux
43
ATN
Internet et médias numériques : art et pratiques
53
DNPB
Interviews
47
TBY
Inventions et inventeurs
22
KFFM
Investissement et titres
155
UDX
Jeux informatiques
666
JPZ
La corruption dans la politique, le gouvernement et la société
33
MBGL
Laboratoire médical et techniques
21
UYQL
Langage naturel et traduction automatique
159
ULJL
Linux
23
DSM
Littérature comparée
23
JBFD
Logement et itinérance
22
UFL
Logiciel d’entreprise
61
UDA
Logiciels d’organisation personnelle et applications
24
PBCD
Logique des mathématiques
114
LNQH
Lois et réglementations sur l’intelligence artificielle
22
UKPM
Macintosh
22
KCB
Macroéconomie
23
MKJD
Maladie d’Alzheimer, démence, maladie de Parkinson et autres maladies neurodégénératives
68
MJCJ
Maladies infectieuses et contagieuses
55
KJSG
Marketing digital
38
UK
Matériel informatique
89
PB
Mathématiques
173
PBW
Mathématiques appliquées
20
PDZM
Mathématiques populaires et récréatives
116
MFKH3
Maturité et vieillissement
79
PHD
Mécanique classique
197
PHDB
Mécanique élémentaire
38
PHDS
Mécanique ondulatoire (vibration et acoustique)
43
MB
Médecine
26
MJD
Médecine cardiovasculaire
38
VFD
Médecine et santé (grand public)
25
MKCM
Médecine materno-fœtale
41
MKR
Médecine nucléaire
66
MKB
Médecine palliative
37
KNTP2
Médias d’information et journalisme
25
RBPM
Météorologie
39
GPS
Méthodes de recherche
103
GPSD
Méthodes de recherche
20
PSG
Microbiologie (non médicale)
67
JBFH
Migration, immigration et émigration
34
PBWH
Modèles mathématiques
54
UYM
Modélisation et simulation informatiques
23
GLZ
Muséologie et conservation du patrimoine
55
TBN
Nanotechnologie
34
WN
Nature et monde naturel : généralités
47
MKJ
Neurologie et neurophysiologie clinique
59
PSAN
Neurosciences
128
PSAN1
Neurosciences cellulaires et moléculaires
23
PSAN5
Neurosciences cognitives et comportementales
253
UTP
Normes et protocoles réseaux
27
UB
Numérique et technologies de l’information : thèmes généraux
66
JNAM
Objectif moral et social de l’éducation
27
PGG
Observation astronomique : observatoires, équipements et méthodes
116
RBKC
Océanographie (mers et océans)
60
MJCL
Oncologie
134
MJQ
Ophtalmologie
22
PBU
Optimisation
33
TTB
Optique appliquée
46
PHJ
Optique physique
179
UKP
Ordinateurs individuels
28
JNR
Orientation professionnelle
40
RBX
Paléontologie
103
JPL
Partis politiques et programmes politiques
22
JBFC
Pauvreté et précarité
21
RNA
Pensée et idéologie écologistes
81
MKG
Pharmacologie
76
QD
Philosophie
48
QDTK
Philosophie : épistémologie et théorie de la connaissance
129
QDTL
Philosophie : logique
47
QDTJ
Philosophie : métaphysique et ontologie
42
QDHA
Philosophie ancienne grecque et romaine
52
QDHC
Philosophie de l’Asie de l’Est et de l’Inde
30
QDTM
Philosophie de l’esprit
89
PBB
Philosophie des mathématiques
33
PDA
Philosophie des sciences
155
JNA
Philosophie et théorie de l’éducation
42
QDX
Philosophie populaire
21
QDXB
Philosophie populaire : Sens de la vie
32
QDTS
Philosophie sociale et politique
85
MFG
Physiologie
55
MFGG
Physiologie régionale
25
PH
Physique
200
PHDF
Physique : mécanique des fluides
56
PHM
Physique atomique et moléculaire
75
PHFC
Physique de la matière condensée (physique de l’état liquide et de l’état solide)
141
PHR
Physique de la relativité
350
PHJL
Physique des lasers
50
PHP
Physique des particules et des hautes énergies
148
PHFP
Physique des plasmas
34
TNKE
Physique du bâtiment et construction économe en énergie
21
PHU
Physique mathématique
181
PHVD
Physique médicale
20
PHN
Physique nucléaire
115
PHQ
Physique quantique (mécanique quantique et théorie quantique des champs)
1016
PHS
Physique statistique
77
RPT
Planification et politique des transports
22
RPC
Planification et politique urbaines et municipales
72
VSPD
Pleine conscience
21
RND
Politique environnementale et protocoles
207
JP
Politique et gouvernement
70
JNF
Politique et stratégies de l’éducation
30
JPQB
Politiques du gouvernement central
68
RNP
Pollution et menaces pour l’environnement
43
PSXE
Premiers hommes
92
JBFZ
Prévisions sociales, études sur le futur
48
PBT
Probabilité et statistiques
261
TGP
Productique et génie industriel
45
UMS
Programmation d’appareils mobiles
24
GPJ
Programmation et cryptologie
42
UMX
Programmation et langage de script : généralités
119
UMW
Programmation Web
103
URD
Protection de la vie privée et des données
39
JM
Psychologie
72
JMQ
Psychologie : émotions
29
JMT
Psychologie : états de conscience
41
JMS
Psychologie : le soi, l’ego, l’identité, la personnalité
30
JNC
Psychologie de l’éducation
30
JMC
Psychologie de l’enfant, psychologie du développement
32
JMM
Psychologie physiologique, neuropsychologie, biopsychologie
26
VSP
Psychologie populaire
289
JMAF
Psychologie psychanalytique et freudienne
24
JMH
Psychologie sociale, de groupe ou collective
84
JMP
Psychopathologie
24
MKGW
Psychopharmacologie
39
RNQ
Questions nucléaires
31
JBFA1
Racisme et discrimination raciale
32
ATFB
Réalisateurs et producteurs de films
31
VSCB
Recherche d’emploi
29
MBGR
Recherche médicale
61
PDM
Recherche scientifique
64
GTU
Recherche sur la paix et la résolution de conflits
42
JPS
Relations internationales
26
QRAM2
Religion et politique
23
QRAM3
Religion et science
27
THYC
Rendement énergétique
70
DNP
Reportage, le journalisme d’investigation ou les chroniques
76
UYQN
Réseaux neuronaux et systèmes flous
471
RNFY
Ressources énergétiques
56
NHTV
Révolutions, insurrections, rébellions
24
TJFM1
Robotique
326
VFMD
Santé : régimes et nutrition
25
MBNH
Santé personnelle et santé publique
23
MBN
Santé publique et médecine préventive
79
JBFN
Santé, maladie ou addiction : aspects sociaux
24
UFLS
SAP (« Systems, applications & products in databases »)
24
VSS
Savoir-être et relation aux autres
27
TGM
Science des matériaux
55
PSAF
Science écologique, biosphère
53
GPH
Science et analyse de données
41
PDZ
Science populaire
463
FLU
Science-fiction : aliens
77
FLW
Science-fiction : exploration spatiale
200
FLS
Science-fiction : space opéra
35
PD
Sciences : généralités
66
TTD
Sciences de l’espace
278
PSA
Sciences de la vie : généralités
23
JPA
Sciences politiques et théorie
32
RNFD
Sécheresse et approvisionnement en eau
28
NHWR7
Seconde Guerre mondiale
61
RNFF
Sécurité alimentaire et approvisionnement
38
UR
Sécurité informatique
773
UTN
Sécurité réseau
63
CFG
Sémantique, analyse du discours, stylistique
33
GTD
Sémiotique
65
NKDS
Sites archéologiques
36
CFB
Sociolinguistique
38
MQC
Soins infirmiers
24
THV
Sources d’énergie alternative et renouvelable et technologie
180
PBWL
Stochastique
52
KJC
Stratégie d’affaires
60
JWK
Stratégie militaire et de défense
48
JPH
Structure et processus politiques
26
JPHV
Structures
47
PGS
Système solaire : soleil et planètes
343
JKSB
Systèmes de protection sociale et de prestations
21
MBP
Systèmes et services de santé
39
UYQE
Systèmes experts
27
PSAN4
Systèmes sensoriels et moteurs
23
UMA
Techniques de programmation
38
TDCX
Techniques et génie des procédés
21
TB
Technologie : généralités
28
TRC
Technologie automobile et secteurs d’activité
34
THYB
Technologie de batterie
205
TRP
Technologie de l’aérospatiale et de l’aéronautique
948
TJKT1
Technologie de la téléphonie mobile
26
TJK
Technologie des communications
42
TTU
Technologie et ingénierie minière
22
TTBM
Technologie et systèmes d’imagerie
26
KFFF
Technologie financière (fintech)
36
TTBL
Technologie laser et holographie
22
THD
Technologies de l’hydrogène
63
UBJ
Technologies numériques et de l’information : aspects sociaux et éthiques
1308
UDT
Téléphones portables et smartphones : guides pour l’utilisateur
61
ATJ
Télévision
41
ATJS
Télévisions : styles et genres
20
PGZ
Temps (chronologie), systèmes et normes de temps
47
UMZT
Test et vérification de logiciel
32
AMA
Théorie de l’architecture
28
ABA
Théorie de l’art
55
AVA
Théorie de la musique et musicologie
25
PBCH
Théorie des ensembles
21
PBH
Théorie des nombres
192
KCA
Théorie et philosophie économique
35
DSA
théorie littéraire
30
JMA
Théorie psychologique, systèmes, écoles et points de vue
26
JBGX
Théories du complot
55
MKZV
Thérapie génique
41
PHH
Thermodynamique et chaleur
36
PBP
Topologie
41
PBPD
Topologie algébrique
82
TJKH
Traitement du signal
35
UYFP
Traitement parallèle
27
MKJA
Trouble du spectre autistique
20
AMVD
Urbanisme et aménagement du territoire : aspects architecturaux
33
MBNK
Vaccination
32
TRV
Véhicules électriques
101
KJS
Ventes et marketing
51
WNCS1
Vie marine et des bords de mer : généralités
25
WNCF
Vie sauvage : mammifères : généralités
29
URJ
Virus informatiques, chevaux de Troie et vers
32
UYQV
Vision assistée par ordinateur
122
RBC
Volcanologie et sismologie
39
PSV
Zoologie et sciences des animaux
22
Digital Divide in Quantum Education - Ajmal Ibn Mohammed Althaf
Fracture numérique dans l'éducation quantique - Ajmal Ibn Mohammed Althaf
★
★
☆
☆
☆
2/5
Building Retro Style Quantum Games for Arduino from scratch - Rana Prathap Simh Mukthavaram
Création de jeux quantiques de style rétro pour Arduino à partir de zéro - Rana Prathap Simh Mukthavaram
★
★
★
☆
☆
3/5
Biophysique L2 : les solutions
★
★
★
★
☆
4/5
Machine Learning Practice: CoLab Interface
Pratique du Machine Learning : Interface CoLab
★
★
★
☆
☆
3/5
Beyond the Atom: Remodelling Particle Physics
Au-delà de l'atome : remodeler la physique des particules
★
★
★
★
★
5/5
¿Qué está pasando con la seguridad en el sector petrolero? - Corto Circuito Ep. 27 T2
Que se passe-t-il avec la sécurité dans le secteur pétrolier ? - Corto Circuito Ep. 27 T2
★
★
★
★
☆
4/5
Ulrich Kohlenbach: From the Foundations of Mathematics to Applications in Core Mathematics
Ulrich Kohlenbach: Des fondements des mathématiques aux applications en mathématiques fondamentales
★
★
★
★
★
5/5
Pavel Pudlák: Incompleteness theorems for weak theories of arithmetic and some stronger versions
Pavel Pudlák: Théorèmes d'incomplétude pour les théories faibles de l'arithmétique et quelques versions plus fortes
★
★
★
★
☆
4/5
Michael Rathjen: Hilbert’s program and (semi) Intuitionism
Michael Rathjen: Le programme de Hilbert et le (semi) intuitionnisme
★
★
★
★
☆
4/5
Lev D. Beklemishev: Reflection Algebras and Progressions
Lev D. Beklemishev: Algèbres de Réflexion et Progressions
★
★
★
★
★
5/5
LESSON 53 - RESEARCH PROPOSAL: PURPOSE OF THE STUDY, OBJECTIVES OF THE STUDY, RESEARCH QUESTIONS
LEÇON 53 - PROPOSITION DE RECHERCHE : BUT DE L'ÉTUDE, OBJECTIFS DE L'ÉTUDE, QUESTIONS DE RECHERCHE
★
★
★
★
☆
4/5
Zoom Deep Dive Webinar: Un arca de anfibios_Jorge Guerrel
Webinaire Zoom Deep Dive : Une arche d'amphibiens_Jorge Guerrel
★
★
★
★
☆
4/5
Sam Sanders: Some theorems are more equal than others: a slow introduction to Reverse Mathematics
Sam Sanders : Certains théorèmes sont plus égaux que d'autres : une introduction lente aux mathématiques inverses
★
★
★
★
☆
4/5
Ralf Schindler: How many real numbers are there?
Ralf Schindler : Combien y a-t-il de nombres réels ?
★
★
★
★
★
5/5
Matthias Baaz: Kurt Gödel and Alfred Tarski:The Extremes of Logic
Matthias Baaz: Kurt Gödel et Alfred Tarski: Les extrêmes de la logique
★
★
★
★
☆
4/5
Matthias Baaz: Incompleteness and attempted proofs of consistency
Matthias Baaz : Incomplétude et tentatives de preuves de cohérence
★
★
★
★
☆
4/5
LESSON 52 - RESEARCH PROPOSAL: BACKGROUND TO THE STUDY & STATEMENT OF THE PROBLEM
LEÇON 52 - PROPOSITION DE RECHERCHE : CONTEXTE DE L'ÉTUDE ET ÉNONCÉ DU PROBLÈME
★
★
★
★
☆
4/5
Joost J. Joosten: Iterated consistency, reflection and foundations of mathematics
Joost J. Joosten: cohérence itérée, réflexion et fondements des mathématiques
★
★
★
★
☆
4/5
Isaac Asimov's Vision of Humanity's Future | Foundation Ending Explained
La vision d'Isaac Asimov sur l'avenir de l'humanité | Fin de Foundation expliquée
★
★
★
★
☆
4/5
Fedor Pakhomov: Kripke-Platek set theory
Fedor Pakhomov: Théorie des ensembles de Kripke-Platek
★
★
★
★
☆
4/5
David Fernandez-Duque: When Ackermann meets Goodstein
David Fernandez-Duque: Quand Ackermann rencontre Goodstein
★
★
★
★
☆
4/5
Anton Freund: Independence without computational strength
Anton Freund : Indépendance sans force computationnelle
★
★
★
★
☆
4/5
Andreas Weiermann: Cut elimination and provably recursive functions
Andreas Weiermann: Élimination des coupures et fonctions récursives prouvablement
★
★
★
★
☆
4/5
Stanislaw Krajewski: Can our understanding of numbers be programmed into a computer?
Stanislaw Krajewski : Notre compréhension des nombres peut-elle être programmée dans un ordinateur ?
★
★
★
★
☆
4/5
Slew Rate of IC Op-Amp (1): Rated Output Voltage Simulated
Slew Rate de l'ampli-op IC (1) : Tension de sortie nominale simulée
★
★
★
★
☆
4/5
Sam Sanders: On two topics dear to Kurt Gödel
Sam Sanders: Sur deux sujets chers à Kurt Gödel
★
★
★
★
☆
4/5
Saeed Salehi: Some Fairies in the Incompleteness Wonderland
Saeed Salehi: Quelques fées au pays des merveilles de l'incomplétude
★
★
★
★
★
5/5
Lev D. Beklemishev: Strictly positive provability logics: recent progress and open questions
Lev D. Beklemishev: Logiques de prouvabilité strictement positives: progrès récents et questions ouvertes
★
★
★
★
★
5/5
LESSON 51 - INTRODUCTION TO RESEARCH PROPOSAL: MEANING, PURPOSE & STRUCTURE
LESSON 51 - INTRODUCTION À LA PROPOSITION DE RECHERCHE : SIGNIFICATION, OBJECTIF ET STRUCTURE
★
★
★
☆
☆
3/5
Juliette C. Kennedy: Gödel and the Scope Problem: From Incompleteness to Extended Constructibility
Juliette C. Kennedy: Gödel et le problème de la portée : De l'incomplétude à la constructibilité étendue
★
★
★
★
☆
4/5
Juliet Floyd: Truth in Early Wittgenstein and Gödel
Juliet Floyd : La vérité chez le premier Wittgenstein et Gödel
★
★
★
★
☆
4/5
Julia F. Knight: Completions of PA and ω-models of KP
Julia F. Knight : Complétions de PA et ω-modèles de KP
★
★
★
★
☆
4/5
Joost J. Joosten: Minimal Logics for Incompleteness
Joost J. Joosten: Logiques minimales pour l'incomplétude
★
★
★
★
☆
4/5
James Walsh: On the hierarchy of natural theories
James Walsh: Sur la hiérarchie des théories naturelles
★
★
★
★
☆
4/5