La ricerca ha trovato 58 risultati

da ipparco
26 mar 2008, 09:43
Forum: Cultura matematica e scientifica
Argomento: Dispense Dal MIT
Risposte: 5
Visite : 5412

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
da ipparco
18 feb 2008, 11:57
Forum: Combinatoria
Argomento: Problema di logica elementare (per voi.....)
Risposte: 5
Visite : 3542

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 no...
da ipparco
12 gen 2008, 16:42
Forum: Discorsi da birreria
Argomento: Non solo matematici
Risposte: 20
Visite : 10959

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 d...
da ipparco
12 gen 2008, 15:10
Forum: Discorsi da birreria
Argomento: Non solo matematici
Risposte: 20
Visite : 10959

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 di ...
da ipparco
12 gen 2008, 14:48
Forum: Discorsi da birreria
Argomento: Non solo matematici
Risposte: 20
Visite : 10959

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è ?
da ipparco
12 gen 2008, 14:42
Forum: Discorsi da birreria
Argomento: Non solo matematici
Risposte: 20
Visite : 10959

<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 d...
da ipparco
04 gen 2008, 21:16
Forum: Fisica
Argomento: Perchè le stelle lampeggiano?
Risposte: 3
Visite : 3210

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
da ipparco
24 dic 2007, 16:10
Forum: Cultura matematica e scientifica
Argomento: L'aritmetica è l'oppio dei popoli
Risposte: 9
Visite : 7306

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 reg...
da ipparco
18 dic 2007, 12:06
Forum: Matematica non elementare
Argomento: Teorema di deduzione?
Risposte: 6
Visite : 5555

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=110...
da ipparco
16 dic 2007, 20:20
Forum: Matematica non elementare
Argomento: Teorema di deduzione?
Risposte: 6
Visite : 5555

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 p...
da ipparco
07 dic 2007, 12:58
Forum: Cultura matematica e scientifica
Argomento: Opinioni comuni
Risposte: 0
Visite : 2512

Opinioni comuni

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 galleri...
da ipparco
29 nov 2007, 21:48
Forum: Informatica
Argomento: possibilita
Risposte: 4
Visite : 5950

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...
da ipparco
28 nov 2007, 17:23
Forum: Informatica
Argomento: possibilita
Risposte: 4
Visite : 5950

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 combinaz...
da ipparco
20 nov 2007, 19:23
Forum: Informatica
Argomento: Fare a pezzi un linguaggio regolare
Risposte: 1
Visite : 4263

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 c...