Undefinability and Absolute Undefinability in Arithmetic
Indéfinissabilité et indéfinissabilité absolue en arithmétique
★
★
★
★
☆
4/5
Catalogue de tuit
Notes de synthèse d'analyses vidéo, évaluées et condensées, en français et en anglais.
45 331 tuit
·
906 chaînes
·
42 domaines
·
Mise à jour : 18 sept. 2026
Agriculture & Alimentation
125
Archéologie
124
Arts & Architecture
1270
Astronomie & Cosmologie
3472
Automatique & Robotique
339
Biologie
1906
Chimie
315
Climat & Écologie
897
Développement Personnel
575
Droit & Justice
511
Économie & Finance
3077
Éducation
655
Énergie
1201
Exploration Spatiale
854
Géopolitique & Défense
508
Histoire
646
IA — Actualité & Applications
1815
IA — Modèles & Recherche
3883
IA & Société
886
Informatique & Cybersécurité
3329
Ingénierie & Technologies
3024
Jeux Vidéo
800
Langues & Linguistique
273
Littérature & Récits
811
Loisirs & Pratique
291
Mathématiques
2019
Médecine & Santé
2694
Médias & Information
260
Neurosciences
395
Paléontologie
74
Philosophie & Éthique
755
Physique
2958
Politique & Institutions
602
Prospective & Science-Fiction
340
Psychologie
494
Religion & Croyances
230
Sciences — Généralités & Histoire
1480
Sciences De La Terre & Géographie
241
Société & Culture
920
Sports
80
Transports & Mobilité
131
Urbanisme & Mobilité
71
JNK
Administration et organisation de l’éducation
20
JPP
Administration publique
26
KJ
Affaires et gestion
53
VSPM
Affirmation de soi, motivation, estime de soi et attitude mentale positive
211
TVF
Agriculture durable
20
PBF
Algèbre
242
UMB
Algorithmes et structures des données
52
PBV
Analyse combinatoire et théorie des graphes
49
PBKD
Analyse complexe, variables complexes
54
PBKF
Analyse fonctionnelle et transformations
27
PBKS
Analyse numérique
34
PBKB
Analyse réelle, variables réelles
37
JBFU
Animaux et société
20
PDG
Applications industrielles de la recherche scientifique et innovation technologique
44
UYQM
Apprentissage par la machine
1010
NK
Archéologie
42
NKD
Archéologie par période
25
AMB
Architectes et cabinets d’architecture
24
AM
Architecture
30
UYF
Architecture informatique et conception logique
106
TTMW
Artillerie, technologie de l’armement
20
AGB
Artistes, monographies d’art
32
CBW
Arts de l’écriture et techniques de rédaction
25
TTDS
Astronautique
983
WNX
Astronomie populaire et espace
772
PGC
Astronomie théorique et mathématique
75
PG
Astronomie, espace et temps
896
PHVB
Astrophysique
110
TJFM
Automatique
69
KFFK
Banque
21
PSB
Biochimie
297
RNCB
Biodiversité
31
PSAD
Bioéthique
32
DNBL
Biographie : auteurs
39
DNBH
Biographie : historique, politique et militaire
79
DNBM
Biographie : philosophie et sciences sociales
20
DNBR
Biographie : royauté
24
DNBT
Biographie : science, technologie et médecine
60
PSF
Biologie cellulaire (cytologie)
117
PSAX
Biologie computationnelle
78
PSX
Biologie de l’homme
24
PSC
Biologie liée au développement
36
PSD
Biologie moléculaire
161
PSTB
Biologie végétale
29
PS
Biologie, sciences de la vie
22
PHVN
Biophysique
25
TCB
Biotechnologie
54
PBKA
Calcul
40
PBKJ
Calcul différentiel et équations
88
PBK
Calcul et analyse mathématique
60
PBKL
Calcul intégral et équations
24
RNR
Catastrophe naturelle
25
RNPG
Changement climatique
198
PN
Chimie
21
PNRL
Chimie nucléaire, photochimie et radiation
26
PNN
Chimie organique
65
PNR
Chimie physique
66
MJCL2
Chimiothérapie
26
RBPC
Climatologie et modélisation du climat
25
UTC
Cloud computing
24
JMR
Cognition et psychologie cognitive
113
TRPS
Compétences en aviation et pilotage
21
UGG
Conception de jeux vidéos
219
VSC
Conseils professionnels et pour atteindre le succès
53
LNDX
Constitution
31
TNK
Construction et matériaux de construction
22
PGK
Cosmologie et univers
966
KCX
Crises et désastres économiques et financières
31
GTS
Décolonisation du savoir
38
JBCT5
Désinformation et mésinformation
67
KCM
Développement économique et économies émergentes
58
UMK
Développement et programmation de jeux
40
MBNH3
Diététique et nutrition
23
WNA
Dinosaures et monde préhistorique : généralités
62
JPSD
Diplomatie
30
JPHL
Dirigeants politiques et leadership
37
DNS
Discours
36
TJFD
Dispositifs électroniques et matériels
194
ATFR
Documentaires
23
LNCR
Droit de l’énergie et des ressources naturelles
36
JPVH
Droits de l’homme, droits civils
39
RNU
Durabilité
49
PHDT
Dynamique et statique
76
KC
Economie
21
KCVG
Economie de l’environnement
89
KCF
Economie du travail, revenu
83
KCBM
Economie monétaire
72
KCVM
Economie numérique ou de l’Internet
32
KCP
Economie politique
103
JNDH
Education : examens et évaluations
30
JPHF
Elections et référendums
29
PHK
Electricité, électromagnétisme et magnétisme
239
TJFC
Electronique : circuits et composants
167
THR
Electrotechnique
53
MJG
Endocrinologie
22
PHDY
Energie
21
THVW
Energie éolienne
25
THVH
Energie hydraulique
21
THVS
Energie solaire
161
THY
Energie, production d’énergie, distribution et stockage
307
JBF
Enjeux sociaux et éthiques
29
JKVF
Enquête et détection criminelles
36
JNU
Enseignement de sujets spécifiques
28
JNM
Enseignement supérieur
220
KJH
Entreprenariat
104
KJJ
Entreprises et environnement ; approches durables des entreprises
31
MBNS
Epidémiologie et statistiques médicales
112
JNV
Equipement et technologie pour l’éducation, enseignement assisté par ordinateur (EAO)
61
NHTS
Esclavage, personnes réduites en esclavage et abolition de l’esclavage
27
SXE
eSports
23
MBGR1
Essais cliniques
20
QDTQ
Ethique et philosophie morale
48
PSVP
Ethologie et comportement animal
29
GTK
Études cognitives
38
GTC
Études de communication
28
GTP
Études de développement
34
JBSF
Études de genre
22
JBSF1
Études de genre : femmes et filles
73
JBCT
Études des médias
23
JBCT1
Études des médias : Internet, médias numériques et société
55
JBCT4
Études des médias : journalisme
81
GTZ
Études générales et connaissances générales
21
DSK
Études littéraires : auteurs de fictions, nouvelles et prose
63
DSC
Études littéraires : poésie et poètes
47
ATD
études théâtrales
23
PSAJ
Evolution
141
DSRC
Explication de textes littéraires, critiques de livres et guides
26
TTDX
Exploration spatiale
523
MBNH2
Facteurs environnementaux
49
ATFN
Film : styles et genres
341
KCLT
Finance et commerce international
46
KFF
Finance et secteur financier
35
KFFD
Finance publique et fiscalité
43
KFFS
Finance verte
49
PDK
Financement et politique des sciences
65
VSB
Finances personnelles
41
URH
Fraude et piratage informatique
228
PGM
Galaxie et étoiles
303
PSAK
Génétique (non médicale)
610
MFN
Génétique médicale
161
TCBG
Génie génétique
47
UMZ
Génie logiciel
65
THK
Génie nucléaire
177
RBGF
Géologie historique et la paléogéologie
39
RBG
Géologie, géomorphologie et lithosphère
21
PBMW
Géométrie algébrique
154
PBMP
Géométrie différentielle et riemannienne
35
PBMH
Géométrie euclidienne
41
PHVG
Géophysique
33
JPSL
Géopolitique
280
THVG
Géothermie
33
KJMB
Gestion : direction et motivation
40
KJMV3
Gestion de l’informatique et des systèmes d’information
36
UT
Gestion de réseaux informatiques et des communications
24
KJMV7
Gestion des ventes et marketing
42
KJMV2
Gestion du personnel et des ressources humaines
28
UGB
Graphisme et conception Web
23
PHDV
Gravité
29
JPWG
Groupes de pression, mouvements de protestation et actions non violentes
25
PBG
Groupes et théorie des groupes
103
JWD
Guerre de l’information
26
NHWR3
Guerres civiles
20
ATFG
Guides et critiques de film
92
JBFM
Handicap : aspects sociaux
21
MJF
Hématologie
20
MJJ
Hépatologie
40
NH
Histoire
37
NHT
Histoire : événements et thèmes spécifiques
24
NHC
Histoire ancienne
28
AGA
Histoire de l’art
29
NHD
Histoire de l’Europe
24
UBB
Histoire de l’informatique, du numérique et des technologies de l’information
46
TBX
Histoire de l’ingénierie et des technologies
22
KJZ
Histoire de sociétés, d’entreprises, d’activité
21
NHK
Histoire des Amériques
50
PBX
Histoire des mathématiques
27
PDX
Histoire des sciences
139
NHTM
Histoire maritime
20
NHTB
Histoire sociale et culturelle
64
ATFA
Histoire, théorie ou critique cinématographique
30
NHAH
Historiographie
32
MKS
Imagerie médicale
20
MJCM
Immunologie
92
PDR
Impact de la science et de la technologie sur la société
110
RNT
Impact social des questions environnementales
38
KNTV
Industrie des jeux informatiques et vidéo
168
KNB
Industries de l’énergie et de service public
186
KNBL
Industries de la production et distribution de l’électricité
250
KNTX
Industries de technologie de l’information
273
KNBT
Industries des énergies alternatives et renouvelables
114
KNBP
Industries du pétrole et du gaz
81
PBTB
Inférence bayésienne
30
UY
Informatique
53
MBF
Informatique médicale et de santé
55
UYX
Informatique naturelle
727
UYA
Informatique théorique
192
TGMF
Ingénierie : mécanique des fluides
20
TGMD
Ingénierie : mécanique des solides
24
MQW
Ingénierie biomédicale
21
KJD
Innovation dans les affaires
25
GTV
Institutions et sociétés savantes : généralités
31
JPSN
Institutions internationales
23
UYQ
Intelligence artificielle (IA)
1815
UYQD
Intelligence artificielle générale (IAG)
42
UYQF
Intelligence artificielle générative
2188
UBW
Internet : travaux généraux
40
ATN
Internet et médias numériques : art et pratiques
49
DNPB
Interviews
33
KFFM
Investissement et titres
123
UDX
Jeux informatiques
546
JPZ
La corruption dans la politique, le gouvernement et la société
27
MBGL
Laboratoire médical et techniques
20
UYQL
Langage naturel et traduction automatique
131
DSM
Littérature comparée
23
JBFD
Logement et itinérance
20
UFL
Logiciel d’entreprise
48
PBCD
Logique des mathématiques
100
KCB
Macroéconomie
22
MKJD
Maladie d’Alzheimer, démence, maladie de Parkinson et autres maladies neurodégénératives
62
MJCJ
Maladies infectieuses et contagieuses
54
KJSG
Marketing digital
22
PB
Mathématiques
90
PDZM
Mathématiques populaires et récréatives
71
MFKH3
Maturité et vieillissement
60
PHD
Mécanique classique
188
PHDB
Mécanique élémentaire
34
PHDS
Mécanique ondulatoire (vibration et acoustique)
34
MJD
Médecine cardiovasculaire
25
MKCM
Médecine materno-fœtale
35
MKR
Médecine nucléaire
66
MKB
Médecine palliative
32
KNTP2
Médias d’information et journalisme
20
RBPM
Météorologie
23
GPS
Méthodes de recherche
95
PSG
Microbiologie (non médicale)
50
JBFH
Migration, immigration et émigration
29
PBWH
Modèles mathématiques
51
UYM
Modélisation et simulation informatiques
21
GLZ
Muséologie et conservation du patrimoine
24
TBN
Nanotechnologie
25
WN
Nature et monde naturel : généralités
46
MKJ
Neurologie et neurophysiologie clinique
54
PSAN
Neurosciences
107
PSAN5
Neurosciences cognitives et comportementales
231
UTP
Normes et protocoles réseaux
24
UB
Numérique et technologies de l’information : thèmes généraux
31
PGG
Observation astronomique : observatoires, équipements et méthodes
103
RBKC
Océanographie (mers et océans)
43
MJCL
Oncologie
116
PBU
Optimisation
28
TTB
Optique appliquée
27
PHJ
Optique physique
139
JNR
Orientation professionnelle
31
RBX
Paléontologie
74
RNA
Pensée et idéologie écologistes
76
MKG
Pharmacologie
46
QD
Philosophie
29
QDTK
Philosophie : épistémologie et théorie de la connaissance
111
QDTL
Philosophie : logique
47
QDTJ
Philosophie : métaphysique et ontologie
38
QDHA
Philosophie ancienne grecque et romaine
40
QDHC
Philosophie de l’Asie de l’Est et de l’Inde
27
QDTM
Philosophie de l’esprit
66
PBB
Philosophie des mathématiques
29
PDA
Philosophie des sciences
140
QDXB
Philosophie populaire : Sens de la vie
23
QDTS
Philosophie sociale et politique
72
MFG
Physiologie
50
MFGG
Physiologie régionale
24
PH
Physique
168
PHDF
Physique : mécanique des fluides
42
PHM
Physique atomique et moléculaire
70
PHFC
Physique de la matière condensée (physique de l’état liquide et de l’état solide)
114
PHR
Physique de la relativité
283
PHJL
Physique des lasers
47
PHP
Physique des particules et des hautes énergies
114
PHFP
Physique des plasmas
23
PHU
Physique mathématique
133
PHN
Physique nucléaire
106
PHQ
Physique quantique (mécanique quantique et théorie quantique des champs)
769
PHS
Physique statistique
48
RPC
Planification et politique urbaines et municipales
49
RND
Politique environnementale et protocoles
181
JP
Politique et gouvernement
60
JPQB
Politiques du gouvernement central
46
RNP
Pollution et menaces pour l’environnement
31
PSXE
Premiers hommes
80
JBFZ
Prévisions sociales, études sur le futur
22
PBT
Probabilité et statistiques
225
TGP
Productique et génie industriel
36
UMS
Programmation d’appareils mobiles
20
GPJ
Programmation et cryptologie
36
UMX
Programmation et langage de script : généralités
90
UMW
Programmation Web
64
URD
Protection de la vie privée et des données
30
JM
Psychologie
59
JMQ
Psychologie : émotions
23
JMT
Psychologie : états de conscience
32
JNC
Psychologie de l’éducation
25
JMC
Psychologie de l’enfant, psychologie du développement
20
JMM
Psychologie physiologique, neuropsychologie, biopsychologie
24
VSP
Psychologie populaire
111
JMH
Psychologie sociale, de groupe ou collective
51
MKGW
Psychopharmacologie
37
RNQ
Questions nucléaires
27
JBFA1
Racisme et discrimination raciale
26
ATFB
Réalisateurs et producteurs de films
30
MBGR
Recherche médicale
47
PDM
Recherche scientifique
47
GTU
Recherche sur la paix et la résolution de conflits
34
JPS
Relations internationales
22
QRAM2
Religion et politique
21
QRAM3
Religion et science
24
THYC
Rendement énergétique
50
DNP
Reportage, le journalisme d’investigation ou les chroniques
68
UYQN
Réseaux neuronaux et systèmes flous
368
RNFY
Ressources énergétiques
50
TJFM1
Robotique
270
VFMD
Santé : régimes et nutrition
20
MBN
Santé publique et médecine préventive
60
JBFN
Santé, maladie ou addiction : aspects sociaux
22
UFLS
SAP (« Systems, applications & products in databases »)
24
TGM
Science des matériaux
45
PSAF
Science écologique, biosphère
31
GPH
Science et analyse de données
33
PDZ
Science populaire
388
FLU
Science-fiction : aliens
77
FLW
Science-fiction : exploration spatiale
199
FLS
Science-fiction : space opéra
34
PD
Sciences : généralités
52
TTD
Sciences de l’espace
278
PSA
Sciences de la vie : généralités
20
JPA
Sciences politiques et théorie
24
RNFD
Sécheresse et approvisionnement en eau
20
NHWR7
Seconde Guerre mondiale
44
RNFF
Sécurité alimentaire et approvisionnement
33
UR
Sécurité informatique
627
UTN
Sécurité réseau
46
CFG
Sémantique, analyse du discours, stylistique
28
NKDS
Sites archéologiques
29
CFB
Sociolinguistique
35
THV
Sources d’énergie alternative et renouvelable et technologie
132
PBWL
Stochastique
43
KJC
Stratégie d’affaires
26
JWK
Stratégie militaire et de défense
37
JPHV
Structures
43
PGS
Système solaire : soleil et planètes
301
MBP
Systèmes et services de santé
35
UYQE
Systèmes experts
25
PSAN4
Systèmes sensoriels et moteurs
20
UMA
Techniques de programmation
25
THYB
Technologie de batterie
140
TRP
Technologie de l’aérospatiale et de l’aéronautique
833
TJK
Technologie des communications
33
TTBM
Technologie et systèmes d’imagerie
20
KFFF
Technologie financière (fintech)
29
TTBL
Technologie laser et holographie
20
THD
Technologies de l’hydrogène
50
UBJ
Technologies numériques et de l’information : aspects sociaux et éthiques
880
ATJ
Télévision
41
ATJS
Télévisions : styles et genres
20
PGZ
Temps (chronologie), systèmes et normes de temps
44
UMZT
Test et vérification de logiciel
23
ABA
Théorie de l’art
38
PBH
Théorie des nombres
182
KCA
Théorie et philosophie économique
35
DSA
théorie littéraire
23
JMA
Théorie psychologique, systèmes, écoles et points de vue
20
JBGX
Théories du complot
48
MKZV
Thérapie génique
36
PHH
Thermodynamique et chaleur
27
PBP
Topologie
21
PBPD
Topologie algébrique
43
TJKH
Traitement du signal
34
UYFP
Traitement parallèle
26
AMVD
Urbanisme et aménagement du territoire : aspects architecturaux
27
MBNK
Vaccination
27
TRV
Véhicules électriques
43
KJS
Ventes et marketing
40
URJ
Virus informatiques, chevaux de Troie et vers
25
UYQV
Vision assistée par ordinateur
108
RBC
Volcanologie et sismologie
28
PSV
Zoologie et sciences des animaux
22
Ariane 6 J+2, petit bilan d'un décollage historique
★
★
★
★
☆
4/5
#53/100: SAT || Quantum Computer Programming in 100 Easy Lessons
#53/100 : SAT || Programmation informatique quantique en 100 leçons faciles
★
★
★
★
☆
4/5
Tiger Shark Eats Echidna | 7 Days of Shark Science
Le requin tigre mange un échidné | 7 jours de science du requin
★
★
★
★
☆
4/5
The Alien Solar Storm Sneak Attack Scenario
Le scénario d'attaque sournoise de la tempête solaire extraterrestre
★
★
★
★
☆
4/5
#52/100: Reflecting through a vector || Quantum Computer Programming in 100 Easy Lessons
#52/100: Reflecting through a vector || Programmation d'ordinateurs quantiques en 100 leçons faciles
★
★
★
★
★
5/5
Premier lancement pour Ariane 6 !
★
★
★
★
☆
4/5
Mon premier mastermind présentiel...
★
★
☆
☆
☆
2/5
Animal Behavior: Why This Toad Is Bad at Jumping: Crash Course Biology #49
Comportement animal : Pourquoi ce crapaud est mauvais en saut : Crash Course Biologie #49
★
★
★
★
☆
4/5
#51/100: The Elitzur-Vaidman Glitter Bomb || Quantum Computer Programming in 100 Easy Lessons
#51/100: La Bombe Scintillante Elitzur-Vaidman || Programmation d'ordinateurs quantiques en 100 leçons faciles
★
★
★
★
☆
4/5
![[LIVE] 1er Lancement d'ARIANE 6 ! Le 9 Juillet 2024 l'Europe REVIENT dans la COURSE ! - Le JDE](https://i.ytimg.com/vi/MmbRR-kem2Q/maxresdefault.jpg)
Trispecific Antibodies, Design Approaches, Mechanism of action, Antibody Engineering
Anticorps trispécifiques, approches de conception, mécanisme d'action, ingénierie des anticorps
★
★
★
☆
☆
3/5
Targeted Therapeutics, Oligonucleotide Conjugates for Transfection, Nucleic Acid Therapeutics
Thérapies ciblées, conjugués oligonucléotidiques pour transfection, thérapies par acides nucléiques
★
★
★
★
☆
4/5
Synthetic Living Cells, Design, Methods and Construction, Advanced Cell and Immune Therapies
Cellules vivantes synthétiques, conception, méthodes et construction, thérapies cellulaires et immunitaires avancées
★
★
★
☆
☆
3/5
Synthetic biology & Phage Potential, Advanced Cell and Immune Therapies
Biologie synthétique et potentiel des phages, thérapies cellulaires et immunitaires avancées
★
★
☆
☆
☆
2/5
Synthetic Antibodies, Antibody Engineering and Therapeutics
Anticorps synthétiques, ingénierie des anticorps et thérapeutique
★
★
★
★
☆
4/5
Stem Cell Engineering, Current Progress, Typical Methods and the Possibility of Automation and AI...
Ingénierie des cellules souches, progrès actuels, méthodes typiques et possibilité d'automatisation et d'IA...
★
★
★
☆
☆
3/5
Le bestiaire des particules - Quickie 28
★
★
★
★
☆
4/5
L'histoire dérangeante du succès de Monster
★
★
★
★
☆
4/5
House of the Dragon S2E04 live Q&A discussion
House of the Dragon S2E04 discussion de questions-réponses en direct
★
★
★
★
☆
4/5
Genetic Medicine, Understanding Antisense Oligonucleotides (ASOs), Design, modifications & in viv...
Médecine génétique, comprendre les oligonucléotides antisens (ASOs), conception, modifications et in vivo
★
★
★
☆
☆
3/5
Generating Diversified ssDNA Libraries of Oligonucleotides, Antibody, Peptide & Nanobody Discovery
Génération de bibliothèques diversifiées d'ADNsb d'oligonucléotides, découverte d'anticorps, de peptides et de nanobodies
★
★
★
★
☆
4/5
Gene Editing, Mechanisms, Technologies and Approaches
Édition génique, mécanismes, technologies et approches
★
★
★
★
☆
4/5
DNA & RNA Oligonucleotide Synthesis: Methods and Technologies
Synthèse d'oligonucléotides d'ADN et d'ARN : méthodes et technologies
★
★
★
☆
☆
3/5
Cette IA est la plus grande MENACE depuis ChatGPT
★
★
★
★
☆
4/5
CAR-T Therapy & Antibody Engineering: A Convergence of Immunotherapy Innovations, Advanced Cell E...
Thérapie CAR-T et ingénierie des anticorps : une convergence d'innovations en immunothérapie, cellules avancées...
★
★
★
☆
☆
3/5
Bispecific T-cell Engagers (BiTEs): A Detailed Technical Overview, Advanced Cell and Immune Therapy
Engagers de cellules T bispécifiques (BiTEs) : Un aperçu technique détaillé, Thérapie cellulaire et immunitaire avancée
★
★
★
★
☆
4/5
Bispecific antibodies (BsAbs), Antibody Discovery and Therapeutics
Anticorps bispécifiques (BsAbs), découverte d'anticorps et thérapeutique
★
★
★
☆
☆
3/5
ASO Design and Screening: A Comprehensive Overview
Conception et criblage d'ASO : un aperçu complet
★
★
★
★
☆
4/5
Aptamer Technologies and Therapeutics, Aptamer Research and Developments
Technologies et thérapeutique des aptamères, recherches et développements sur les aptamères
★
★
★
☆
☆
3/5