Domande taggate «intuition»

6
Come si ottiene una "intuizione fisica" per i risultati in TCS?
Mi dispiace se questa domanda è un po 'vaga, ma sono curioso di sapere come i ricercatori di successo abbiano una "sensazione" per i risultati nel TCS. Ad esempio, l'algebra lineare può essere compresa geometricamente o in termini di interpretazioni fisiche (gli autovettori possono essere pensati come "punti stabili" in …
1
Perché il lavoro di Schönfinkel sull'eliminazione delle "variabili legate" nella logica era così cruciale?
AFAIK, La prima prova dell'uso di funzioni di ordine superiore risale al documento di Schönfinkel del 1924: "Sui mattoni della logica matematica" - dove ha permesso di passare funzioni come argomenti ad altre funzioni. Sembra interessante. Tuttavia, tutto ciò che ho letto del suo lavoro (e di Curry per estensione) …
9
Risultati controintuitivi per gli studenti universitari
Sto cercando esempi di risultati che vanno contro l'intuizione della gente per un discorso generale del pubblico. Risultati che se richiesti da non esperti "che cosa ti dice il tuo intuito?", Quasi tutti sbagliano. La dichiarazione dei risultati dovrebbe essere facilmente spiegabile agli studenti universitari in cs / matematica. Sono …
2
In che modo esattamente il calcolo lambda cattura la nozione intuitiva di calcolabilità?
Ho cercato di avvolgere la mia testa attorno al cosa, perché e come di -calculus ma non sono in grado di fare i conti con "perché funziona"?λλ\lambda "Intuitivamente" ottengo il modello di calcolabilità di Turing Machines (TM). Ma questa -strazione mi lascia confuso.λλ\lambda Supponiamo che le TM non esistano, quindi …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.