08/11/2021, 21:45
otta96 ha scritto:Non me lo fa vedere, comunque a proposito di errori avevo sentito dire che Godel aveva trovato degli errori logici nei "Principi di geometria" di Hilbert e nei "Principia Mathematica" di Whitehead e Russel, qualcuno sa che errori sono o come dovrei fare per scoprire quali sono?
08/11/2021, 22:04
Eh, ogni; magari.che persino la teoria dei tipi (nata per scongiurare ogni paradosso) era affetta dal medesimo male
09/11/2021, 17:29
09/11/2021, 17:31
marco2132k ha scritto:Domanda: per lo studente medio (per ora diciamo di matematica, ma in realtà vorrei chiederlo anche per chi fa STEM in generale), può essere utile leggersi l'HoTT book e imparare agda/Lean/boh?
Per dire, secondo voi questo approccio a (una parte di?) matematica diventerà comune più o meno come è diventato comune smanettare in Python + numpy?
09/11/2021, 20:15
Studio, tramite sviluppo ed uso di programmi, di svariati argomenti di matematica, fra i quali: Distribuzione dei numeri primi. Metodi crittografici (sostituzione, Hill, RSA). Autosimilarita` ed insiemi frattali (insiemi di Cantor, curva di Koch etc). Misura di Hausdorff, lemma delle contrazioni e Iterated Function Systems. Insiemi di Julia e di Mandelbrot. Paesaggi frattali, dimensioni frattale e del Box Counting. Tassellazioni del piano. Integrazione numerica di equazioni differenziali ordinarie e semplici problemi di Sistemi Dinamici. Primo sguardo ai fenomeni caotici nei sistemi dinamici.
Aha noo quello è un corso di magistrale non me lo fanno fare.megas_archon ha scritto:Se la domanda è: vale la pena seguire il corso di teoria dei tipi di Milly? La risposta è sì.
09/11/2021, 22:13
Non sono esattamente amichevoli per il matematico quadratico medio, nel senso che devi saper usare un editor serio, per contribuire a un progetto devi saper usare git, etc etc. Ma no, non sono "difficili" da usare; imparare C è ESTREMAMENTE più difficile perché devi badare a sozzure da ingegnere di cui a un matematico importa meno dell'Eurovision.il motivo non può essere che i proof assistant che ci sono ora sono troppo difficili da usare?
09/11/2021, 22:59
marco2132k ha scritto:
Cioè, magari non diventerà comune che uno studente si metta a checkare le dimostrazioni del corso di metodi, ma un "laboratorio" dove si dimostrano al pc -ad esempio- cose di teoria dei gruppi (o, in generale, un corso il cui scopo sia espressamente quello di usare un proof assitant, non di capire come funziona) forse qualcuno prima o poi lo terrà, no?
10/11/2021, 13:04
22/12/2021, 19:40
27/12/2021, 10:53
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.
Powered by phpBB © phpBB Group - Privacy policy - Cookie privacy
phpBB Mobile / SEO by Artodia.