2026-08-31 kb-ramo1-scienze 1A4-1A5

Esecuzione automatica dell'attività kb-ramo1-scienze. Prompt in sintesi: costruire la Knowledge Base in MD_DB_v1, RAMO 1 — SCIENZE E NATURA, in modalità [BUILD] e in autonomia, producendo 2 schede approfondite per esecuzione.

Regole date: profondità proporzionale all'importanza del tema; lingua italiana; fonti autorevoli (documentazione ufficiale, enti e istituzioni, pubblicazioni accademiche, enciclopedie); ogni fatto chiave su almeno 2 fonti indipendenti; per i dati attuali cercare sempre sul web; mai inventare.

Ordine di priorità (Hot prima): 1_A Matematica → 1_B Statistica e probabilità → 1_C Fisica → 1_D Chimica → 1_E Biologia → 1_H Medicina → 1_F Scienze della Terra → 1_G Astronomia → 1_I Ecologia.

Passi richiesti: (1) scegliere la prossima disciplina senza scheda madre; (2) ricerca approfondita; (3) scrivere la scheda .md dal template, con frontmatter YAML, Indice, In breve, Storia, Sotto-argomenti, Concetti utili, Personaggi, Testi e fonti, Approfondimenti, Collegamenti [[...]] e sezione finale "Ricerche effettuate e Fonti verificate"; (4) convertire in .tex con pandoc e in .pdf con xelatex, aggiornando il campo pdf:; (5) aggiornare il catalogo libri con _scripts/estrai_libri.py; (6) riepilogo finale di 3 righe.

Ricognizione di 02_CONOSCENZA/1_SCIENZE_E_NATURA/: tutte e 9 le macro-aree del ramo hanno già la scheda madre (1_A…1_I), e così tutte le 8 sotto-discipline di 1_H. Il livello delle macro-aree è dunque chiuso.

Seguendo l'ordine di priorità si scende quindi al livello delle branche, partendo dalla prima disciplina Hot. Le branche di 1_A Matematica elencate in 26_06_MAPPA_DISCIPLINE_.md sono cinque: aritmetica e algebra ✓ (17 ago), analisi ✓ (17–24 ago), geometria ✓ (24 ago), logica e fondamenti ✗, matematica discreta ✗. Sono queste le due prossime in coda — coerente con quanto annotato nel log del 17 agosto ("prossima in coda: 1_A_2 Analisi, poi 1_A_3 Geometria, 1_A_4 Logica e fondamenti, 1_A_5 Matematica discreta").

Create le cartelle 1_A_4_logica_fondamenti/ e 1_A_5_matematica_discreta/ con i rispettivi 00_README.md, che elencano le schede figlie candidate.

Ricerche web effettuate prima della scrittura, su fonti accademiche ed enciclopediche:

Per 1_A_4: teoremi di incompletezza di Gödel e programma di Hilbert (Stanford Encyclopedia of Philosophy, Wikipedia, Quanta); ZFC, ipotesi del continuo e indipendenza — Gödel 1938 e Cohen 1963 (SEP, University of Chicago REU, arXiv); Frege Begriffsschrift 1879, paradosso di Russell 1901–1902, Principia Mathematica, Zermelo 1908 (SEP, IEP, Britannica, UMass); Turing 1936 ed Entscheidungsproblem, tesi di Church–Turing, decimo problema di Hilbert e Matiyasevich 1970 (SEP, IIT Kanpur); Gentzen 1936 e induzione fino a ε₀ (Wikipedia, Springer); Tarski e la definizione di verità (SEP, Springer); teoria omotopica dei tipi e fondazioni univalenti di Voevodsky (arXiv); progetto FLT in Lean 4 e Mathlib (lean-lang.org, repository ufficiale, arXiv 2410.01466); teorema dei quattro colori formalizzato in Coq da Gonthier (Notices dell'AMS, repository Rocq).

Per 1_A_5: sette ponti di Königsberg ed Euler 1736 (Britannica, MathWorld, Scientific American, Wikipedia); teorema dei quattro colori — Appel e Haken 1976, 1.936 configurazioni poi ridotte a 1.476, oltre mille ore di calcolo (archivi dell'Università dell'Illinois, Notices dell'AMS); numeri di Ramsey e miglioramento esponenziale di Campos, Griffiths, Morris e Sahasrabudhe 2023, pubblicato sugli Annals of Mathematics vol. 203 n. 3 (2026), con raffinamenti successivi (arXiv, Project Euclid); stato di P vs NP e Problemi del Millennio (Clay Mathematics Institute); teorema dei minori di grafo e lemma di regolarità (MathWorld, IME-USP); produzione di Erdős — oltre 1.500 articoli e 511 coautori (Britannica, Erdős Number Project di Oakland University, BSHM St Andrews); scoperta assistita da IA — FunSearch su Nature 2023 con cap set di dimensione 512 in dimensione 8, e AlphaEvolve 2025 (Nature, DeepMind).

Entrambe seguono il template con frontmatter YAML completo (campo pdf: valorizzato), Indice, In breve, Perché conta (per te), Storia della branca, sezioni tematiche dedicate, Sotto-argomenti, Concetti e argomenti utili, Personaggi importanti, Testi e fonti rilevanti, Approfondimenti, Collegamenti [[...]] e sezione finale di fonti verificate (27 fonti per 1_A_4, 32 per 1_A_5).

1_A_4 contiene in più: sezione sui due teoremi di incompletezza con il meccanismo in tre mosse (aritmetizzazione, autoriferimento, conclusione) e un paragrafo esplicito su che cosa i teoremi NON dicono, per disinnescare gli abusi divulgativi; tabella comparativa delle cinque scuole sui fondamenti; sezione sulle logiche non classiche con il collegamento pratico (logica lineare → ownership di Rust, logiche descrittive → OWL); sezione su teoria dei tipi e assistenti di dimostrazione; stato dell'arte ad agosto 2026 con il progetto FLT (finanziamento EPSRC EP/Y022904/1 fino a settembre 2029) e il caso dei primi regolari già formalizzato.

1_A_5 contiene in più: sezioni distinte su combinatoria enumerativa, grafi, teoria dei numeri e crittografia, algebra booleana e ricorrenze, complessità, combinatoria estremale e ottimizzazione; il contrasto didattico euleriano (facile) vs hamiltoniano (NP-completo); stato dell'arte ad agosto 2026 con P vs NP ancora aperto, il risultato di Ramsey pubblicato sugli Annals nel 2026 e la scoperta combinatoria assistita da IA.

Entrambe sono pensate per essere utili a chi costruisce automazioni e siti: la sezione "Perché conta (per te)" collega Curry–Howard ai sistemi di tipi, le leggi di De Morgan agli errori nelle condizioni negate, i DAG ai workflow n8n e alle pipeline, l'esplosione combinatoria alla stima dei costi.

Oltre alle fonti raccolte in fase di scrittura, è stato eseguito un controllo indipendente post-scrittura su 25 affermazioni datate (numeri di Ramsey R(3,3), R(4,4), R(5,5); Cook/Levin/Karp; Turing Award; Shannon 1937; AKS 2002; Gale–Shapley e Nobel 2012; premi Abel; Green–Tao; Ford–Fulkerson; Dijkstra; Erdős–Rényi; Robertson–Seymour; Perelman; terni pitagorici booleani; RSA; Shor; teorema dei numeri primi; Ramsey; Szemerédi; Hamming; Codd; PageRank; logica lineare e fuzzy; Fibonacci; Gauss), verificate su Wikipedia, arXiv, MacTutor e i siti ufficiali di ACM, Abel Prize e Nobel Prize.

Esito: 24 confermate, nessuna errata, 1 da precisare. Tre precisazioni applicate al testo:

1. RSA — non semplicemente "1977": memo interno del MIT nell'aprile 1977, articolo su Communications of the ACM nel 1978.
2. Levin — il suo risultato è indipendente da Cook ma fu pubblicato nel 1973, non nel 1971.
3. Premio Abel 2021 di Lovász — condiviso con Avi Wigderson.

Aggiunto inoltre il limite superiore preciso R(5,5) ≤ 46 (Angeltveit e McKay) al posto della formulazione approssimata. In entrambe le schede è stata inserita una riga esplicita "Verifica successiva alla scrittura" nella sezione fonti, e le note di affidabilità dichiarano apertamente i punti mutevoli o dibattuti: i numeri di Ramsey (area in rapido movimento, cifre valide alla data), P vs NP (opinione maggioritaria ≠ teorema), l'ipotesi del continuo (indipendenza dimostrata, "risposta giusta" questione filosofica aperta), le percentuali di AlphaEvolve (comunicazione del produttore, non revisione paritaria) e le interpretazioni filosofiche dei teoremi di Gödel.

pandoc <scheda>.md -o <scheda>.tex per il sorgente LaTeX; PDF con pandoc --pdf-engine=xelatex e preambolo standard (fontspec con DejaVu, geometry A4 margini 2,2 cm, longtable/booktabs, xcolor con il blu KB #1D3F5C, hyperref, microtype, enumitem).

Nota tecnica: la prima compilazione ha segnalato caratteri mancanti nei font DejaVu per alcuni simboli logici (ℵ, ⊨, ⊢, ≙). Risolto aggiungendo al preambolo amssymb e newunicodechar con le mappature verso i comandi matematici corrispondenti; la ricompilazione non produce più alcun avviso. Rimane valida l'osservazione del run del 10 agosto: _scripts/build_scheda.mjs non è utilizzabile in questo ambiente perché cerca Chrome/Edge su percorsi Windows.

Catalogo libri rigenerato con python3 02_CONOSCENZA/_scripts/estrai_libri.py → OK - 1374 libri, 67 risorse, 101 schede.

Aggiornato anche 1_A_matematica/00_README.md, che ora elenca tutte e cinque le branche con scheda madre.

1. Prodotte 2 schede di branca complete (MD + TEX + PDF): Logica e fondamenti della matematica (1_A_4, 12 pagine, 27 fonti) e Matematica discreta (1_A_5, 11 pagine, 32 fonti), entrambe con verifica indipendente post-scrittura su 25 fatti datati e tre correzioni applicate.
2. Con queste, 1_A Matematica è completa a livello di branche (aritmetica e algebra, analisi, geometria, logica e fondamenti, matematica discreta); catalogo libri aggiornato a 1.374 titoli su 101 schede.
3. Prossima in coda: le branche di 1_B Statistica e probabilità (probabilità · statistica descrittiva · inferenza · analisi dei dati applicata); a seguire quelle di 1_C Fisica.