Home » Matematica » Logica

Logica

La logica matematica è una disciplina che si occupa dello studio formale del ragionamento e dell’inferenza. Essa fornisce gli strumenti concettuali per analizzare e valutare la validità degli argomenti e delle deduzioni. La logica matematica utilizza un linguaggio simbolico preciso e regole ben definite per manipolare le proposizioni e le relazioni tra di esse.

Il paradosso di Monty Hall

Il problema di Monty Hall è un famoso problema legato alla teoria della probabilità. Prende spunto da un gioco a premi statunitense Let's Make a Deal e il suo nome deriva dal suo conduttore. Viene considerato ormai da tutti un paradosso perché la soluzione può apparire controintuitiva, in realtà non sussiste nessuna contraddizione logica. Ma come funziona questo paradosso e più in particolare questo gioco?

Numeri binari ed algebre booleane

I computer: macchine superveloci, potenti e sempre più "intelligenti", capaci oramai di riconoscere visi, suoni, immagini - svolgere calcoli mostruosi come i sistemi di equazioni differenziali non lineari, scomporre in fattori primi, operare algoritmi di crittografia, anche i più complessi svolgere alcune dimostrazioni matematiche come il famoso "teorema dei 4 colori" ecc... ! La cosa sorprendente è che alla base di tutto ci sono solo due simboli, su cui si fonda tutta l'informatica e l'elettronica digitale! : Lo \( 0\) e l'\(1\).

Euler's Gamma

Gaussian

Euler's angles

Sea shell

Riemann surface

Calabi-Yau Manifold