OliForum Matematico

Mettiamola così: se ti laurei al MIT, lo stipendio del primo impiego è più o meno una cosa di questo tipo:
http://web.mit.edu/career/www/salary/05bycourse.html

Il problema si può risolvere esaminando per tutti i possibili valori di verità di a e b quali sono i valori di verità delle proposizioni.
I risultati sono questi:

per a=V, b=V si ottiene 1=V, 2=F
per a=V, b=F si ottiene 1=F, 2=V
per a=F, b=V si ottiene 1=V, 2=V
per a=F, b=F si ottiene 1=V, 2=V

Se ...

Caro Carlein, effettivamente non avevo capito quello che volevi dire.
Io pensavo che l'argomento del contendere fosse la natura della matematica astratta, per cui pensavo che le tue considerazioni dovessero essere contestualizzate in tal senso.
Il fatto è che ci sono stati (e ci sono tuttora) fior ...

Sta storia è per me poco condivisibile... in particolare le parti in grassetto sono un po' fuori. Dobbiamo per forza ricordarci che siamo carne, ossa e ***** in ogni gioco astratto che facciamo?

Ti onoro delle mie perle di saggezza e tu mi rispondi così ? :lol:
Scherzi a parte, sono un po' duro ...

Agi_90 ha scritto:Un po' di tempo fa avrei votato a occhi chiusi informatica la programmazione e l'IA in generale mi hanno sempre affascinato, però... da quando frequento questo blog, forse sto cambiando idea

Scusa la curiosità (sono un appassionato di IA), perchè ?

<OT1>
Dico anch'io la mia: la matematica si occupa delle capacità intellettive naturali dell'essere umano, cioè dell'intuizione spaziale (geometria, topologia, analisi), dell'intuizione temporale (teoria dei numeri, analisi) e dell'intuizione linguistica (logica). E' vero che senza fare esperienza ...

La cosa interessante è che questo fenomeno non si verifica con i pianeti (cioè in pratica si possono distinguere i pianeti dalle stelle a occhio nudo proprio per questo).

Per puro caso, ho trovato due secondi fa questo:
http://www.vialattea.net/esperti/php/ri ... hp?num=998

Ho letto da qualche parte che Marx era un buon matematico e che si è occupato anche del problema dei fondamenti dell'analisi matematica.
Comunque, tra i matematici importanti, mi vengono in mente solo Laurent Schwartz e Alexander Grothendieck.
Tra i fisici, ricordo Bruno Pontecorvo (fratello del ...

Il tuo sistema è il calcolo delle proposizioni di Hilbert, suppongo (io conoscevo un assioma 3 diverso...).
La dimostrazione è un po' complicata, così ti segnalo le "note di logica 3" di R. Ferro che puoi trovare qui: http://www.scienze.univr.it/fol/main?ent=oi&aa=2006%2F2007&codiceCs=S02&codins ...

Il teorema dice questo: sia X = {X1, X2, ..., Xn} un insieme finito di formule; se, prendendo X come insieme di assiomi, si può dimostrare Y, allora si può dimostrare, senza usare assiomi, la formula (X1 e X2 e ... e Xn) -> Y.
La dimostrazione di questo teorema cambia in base al tipo di logica del ...

Vi segnalo questo sito: http://reverent.org/quizzes.html
L'autore, Mikhail Simkin, ha inventato dei quiz per verificare quanto le opinioni comuni abbiano poi un effettivo riscontro in pratica. Alcuni di questi test li ha proposti ad esperti (per esempio, il test sull'arte contemporanea a dei ...

Quindi se non ho capito male tu vuoi trovare 323 sequenze di 6 numeri distinti compresi tra 1 e 20 tali che, prese 2 sequenze a caso tra le 323, queste 2 sequenze abbiano sempre meno di 4 elementi in comune (altrimenti ci sarebbe una sequenza di 4 elementi che compare + di una volta e non ci sarebbe ...

Mi sembra che tu voglia tutte le combinazioni di 6 numeri tali che al loro interno ci sia una combinazione da 4 numeri tale che la somma sia un numero dato.
Ho capito bene ?
Se non ho capito, puoi rispiegare, magari in francese o in inglese ?
Altra cosa: vuoi un programma che calcoli queste ...

Perchè L sia regolare, deve esserci un automa deterministico A (con funzione di transizione d) che lo calcola.
Se una stringa di lunghezza 2n è in L, durante la verifica deve passare al passo n su uno stato s.
Conoscendo s, si può costruire una nuova macchina deterministica dove i nuovi stati sono ...