Chi ha risolto il problema dell' assiomatizzazione adeguata della teoria del set?
doc-8498
L' assiomatizzazione della matematica, sul modello degli Elementi di Euclide, aveva raggiunto nuovi livelli di rigore e ampiezza alla fine del XIX secolo, in particolare nell' aritmetica, grazie allo schema assiomatico di Richard Dedekind e Charles Sanders Peirce, e alla geometria, grazie a David Hilbert. All' inizio del XX secolo, gli sforzi per basare la matematica su una teoria di serie ingenue subirono una battuta d' arresto a causa del paradosso di Russell (sull' insieme di tutti i set che non appartengono a se stessi). Il problema di un' adeguata assiomatizzazione della teoria del set è stato risolto implicitamente circa venti anni dopo da Ernst Zermelo e Abraham Fraenkel. Zermelo-Fraenkel set teoria ha fornito una serie di principi che hanno permesso la costruzione dei set utilizzati nella pratica quotidiana della matematica. Ma non escludevano esplicitamente la possibilità dell' esistenza di un insieme che appartiene a se stesso. Nella sua tesi di dottorato del 1925, von Neumann dimostrò due tecniche per escludere tali insiemi: l' assioma della fondazione e la nozione di classe.
None
doc-8506
Von Neumann è stato il primo a stabilire un quadro matematico rigoroso per la meccanica quantistica, noto come assiomi Dirac-von Neumann, con il suo lavoro del 1932 Matematica Fondamenti matematici della Meccanica Quantistica. Dopo aver completato l' assiomatizzazione della teoria del set, cominciò a confrontarsi con l' assiomatizzazione della meccanica quantistica. Si rese conto, nel 1926, che uno stato di un sistema quantistico poteva essere rappresentato da un punto in uno spazio (complesso) Hilbert che, in generale, poteva essere infinite-dimensionale anche per una singola particella. In questo formalismo della meccanica quantistica, le grandezze osservabili come la posizione o il momento sono rappresentate come operatori lineari che agiscono sullo spazio di Hilbert associato al sistema quantistico.
None
doc-1871
Mentre l'"impronta" del satellite Astra 2D era inferiore a quella di Astra 2A, da cui era stato precedentemente trasmesso criptato, ciò significava che gli spettatori con apparecchiature adeguate erano in grado di ricevere i canali della BBC "in chiaro" su gran parte dell' Europa occidentale. Di conseguenza, alcuni problemi relativi ai diritti d' autore hanno dovuto essere risolti con fornitori di programmi come gli studios di Hollywood e le organizzazioni sportive, che hanno espresso preoccupazione per le perdite di segnale non criptate. Ciò ha fatto sì che alcune trasmissioni non fossero disponibili sulla piattaforma Sky Digital, come la Scottish Premier League e la Scottish Cup football, mentre su altre piattaforme tali trasmissioni non sono state disturbate. Successivamente, in occasione del rinnovo dei contratti di diritti, il problema è stato risolto.
None
doc-8762
Tra i suoi contributi alla filosofia c' è la sua pretesa di aver risolto il problema filosofico dell' induzione. Egli afferma che mentre non c' è modo di dimostrare che il sole si alzerà, è possibile formulare la teoria che ogni giorno il sole si alzerà; se non sorge in un giorno particolare, la teoria sarà falsificata e dovrà essere sostituita da un altro. Fino a quel giorno, non c' è bisogno di respingere l' ipotesi che la teoria sia vera. Né è razionale secondo Popper fare invece l' assunto più complesso che il sole si alzerà fino a un giorno dato, ma smetterà di farlo il giorno dopo, o affermazioni simili con condizioni aggiuntive.
None
doc-8500
Il secondo approccio al problema ha preso come base la nozione di classe, e definisce un insieme come una classe che appartiene ad altre classi, mentre una classe propria è definita come una classe che non appartiene ad altre classi. Con l' approccio Zermelo-Fraenkel, gli assiomi impediscono la costruzione di un insieme di tutti i set che non appartengono a se stessi. Al contrario, secondo l' approccio von Neumann, la classe di tutti i set che non appartengono a se stessi può essere costruita, ma è una classe propria e non un set.
None
doc-8761
In risposta a una determinata situazione problematica (), una serie di congetture concorrenti o teorie provvisorie () sono sistematicamente sottoposte ai più rigorosi tentativi di falsificazione possibili. Questo processo, l' eliminazione degli errori (), svolge una funzione simile per la scienza che la selezione naturale svolge per l' evoluzione biologica. Le teorie che meglio sopravvivono al processo di confutazione non sono più vere, ma più "in forma"- in altre parole, più applicabili alla situazione di problema a portata di mano (). Di conseguenza, proprio come l' idoneità biologica di una specie non garantisce la sopravvivenza continua, così come test rigorosi proteggono una teoria scientifica dalla confutazione in futuro. Eppure, poiché sembra che il motore dell' evoluzione biologica abbia prodotto, nel corso di molte generazioni, tratti adattivi attrezzati per affrontare problemi di sopravvivenza sempre più complessi, allo stesso modo, l' evoluzione delle teorie attraverso il metodo scientifico può, secondo Popper, riflettere un certo tipo di progresso: verso problemi sempre più interessanti (). Per Popper, è nell' interazione tra le teorie sperimentali (congetture) e l' eliminazione degli errori (rifusione) che la conoscenza scientifica avanza verso problemi sempre maggiori; in un processo molto simile all' interazione tra variazione genetica e selezione naturale.
None
doc-3688
All' interno dei sistemi informatici, due dei molti modelli di sicurezza in grado di imporre la separazione dei privilegi sono le liste di controllo degli accessi (ACL) e la sicurezza basata sulle capacità. L' uso di ACL per limitare i programmi è stato dimostrato di essere insicuro in molte situazioni, come ad esempio se il computer host può essere ingannato nel consentire indirettamente l' accesso limitato ai file, un problema noto come il problema di vice confusi. E' stato anche dimostrato che la promessa delle ACL di dare accesso ad un oggetto ad una sola persona non può mai essere garantita nella pratica. Entrambi questi problemi sono risolti dalle capacità. Ciò non significa che vi siano difetti pratici in tutti i sistemi basati su ACL, ma solo che i progettisti di alcune utility devono assumersi la responsabilità di garantire che non introducano difetti.
None
doc-5193
Alcuni dei teorici più influenti sull' emozione del XX secolo sono morti nell' ultimo decennio. Si tratta di Magda B. Arnold (1903-2002), uno psicologo americano che ha sviluppato la teoria di valutazione delle emozioni; Richard Lazarus (1922-2002), uno psicologo americano specializzato in emozione e stress, soprattutto in relazione alla cognizione; Herbert A. Simon (1916-2001), che ha incluso le emozioni nel processo decisionale e nell' intelligenza artificiale; Robert Plutchik (1928-2006), uno psicologo americano che ha sviluppato una teoria psicoevoluzionaria dell' emozione; Robert Z. Letture classiche e contemporanee (Oxford, 2003); Peter Goldie (1946-2011), filosofo britannico specializzato in etica, estetica, emozione, umore e carattere; Nico Frijda (1927-2015), psicologo olandese che ha avanzato la teoria che le emozioni umane servano a promuovere una tendenza ad intraprendere azioni adeguate alle circostanze, dettagliate nel suo libro Le emozioni (1986).
None
doc-1296
La rete NFL Network ha cessato di trasmettere le partite dell' Arena Football League in partway durante la stagione 2012 a causa dei continui problemi di manodopera all' interno della lega. Brevemente, i giochi sono stati trasmessi su un ritardo del nastro per evitare l' imbarazzo che ne deriverebbe se i giocatori si fermassero immediatamente prima di una trasmissione programmata. (In almeno una volta l' incidenza questo è effettivamente successo, con il risultato che un gioco non competitivo viene giocato con i giocatori sostitutivi, e altri incidenti di questo tipo sono stati minacciati). Una volta risolti i problemi di lavoro, la rete NFL ha ripreso la pratica di trasmettere un gioco dal vivo venerdì sera.
None
doc-200
L' egocentrismo negli adolescenti forma un desiderio consapevole di sentirsi importanti nei loro gruppi di pari e di godere dell' accettazione sociale. A differenza degli aspetti conflittuali dell' autoconcetto, l' identità rappresenta un senso coerente di autostabilità in tutte le circostanze, includendo le esperienze passate e gli obiettivi futuri. Tutti hanno un concetto di sé, mentre Erik Erikson ha sostenuto che non tutti raggiungono pienamente l' identità. La teoria degli stadi di sviluppo di Erikson include la crisi dell' identità in cui gli adolescenti devono esplorare diverse possibilità e integrare diverse parti di se stessi prima di impegnarsi nelle loro credenze. Egli ha descritto la risoluzione di questo processo come una fase di "conquista dell' identità", ma ha anche sottolineato che la sfida dell' identità "non è mai completamente risolta una volta per tutte in un determinato momento". Gli adolescenti cominciano definendosi in base al numero di membri della folla. "I vestiti aiutano gli adolescenti a esplorare nuove identità, separate dai genitori e legate ai coetanei". La moda ha giocato un ruolo importante quando si tratta di adolescenti "trovare se stessi"; la moda è sempre in evoluzione, che corrisponde all' evoluzione del cambiamento nella personalità degli adolescenti. Gli adolescenti tentano di definire la loro identità attraverso uno stile consapevole e diverso per trovare quello che meglio si adatta a loro. Prova ed errore nel confrontare sia la loro immagine percepita che l' immagine a cui gli altri rispondono e vedono, permette all' adolescente di comprendere chi sono, così come la moda sta evolvendo per influenzare gli adolescenti così come i media. "La vita moderna si svolge in un' infinita raffica di carne su schermi, pagine e cartelloni pubblicitari". Questo sbarramento consapevolmente o inconsciamente registra nella mente causando problemi con l' immagine di sé un fattore che contribuisce ad un senso di identità adolescenziale. Il ricercatore James Marcia ha sviluppato il metodo attuale per testare i progressi di un individuo lungo queste fasi. Le sue domande sono suddivise in tre categorie: occupazione, ideologia e relazioni interpersonali.
None
doc-15994
Nella meccanica classica non relativistica, il concetto di Newton di "tempo relativo, apparente e comune" può essere utilizzato nella formulazione di una prescrizione per la sincronizzazione degli orologi. Gli eventi visti da due diversi osservatori in movimento tra loro producono un concetto matematico del tempo che funziona abbastanza bene per descrivere i fenomeni quotidiani dell' esperienza della maggior parte delle persone. Alla fine del diciannovesimo secolo, i fisici incontrarono problemi con la comprensione classica del tempo, in relazione al comportamento dell' elettricità e del magnetismo. Einstein ha risolto questi problemi invocando un metodo di sincronizzazione degli orologi utilizzando la velocità costante e finita della luce come massima velocità del segnale. Ciò ha portato direttamente al risultato che gli osservatori in movimento tra loro misurano diversi tempi intercorsi per lo stesso evento.
None