1 817 résultats
1947Biblioteca di cultura moderna numero 432
1975Biblioteca di filosofia e metodo scientifico
2015brossura Usiamo la logica tutti i giorni, senza rendercene conto: ogni volta che facciamo un ragionamento, anche parlando di sport o decidendo dove andare a fare la spesa. Lo facciamo perché il ragionamento logico ci permette di interagire bene con il mondo e con gli altri. A volte però i nostri ragionamenti falliscono miseramente: il ragionamento logico ha le sue regole e vanno rispettate. Questo libro esplora, con linguaggio semplice e con ricchezza di esempi "tratti dal mondo reale", i concetti fondamentali della logica, dal sillogismo classico di Aristotele ai sistemi della logica formale moderna: parla di enunciati, di regole di deduzione, di dimostrazioni e conduce alla conoscenza dei sistemi fondamentali (logica proposizionale, logica dei predicati), non trascurando un'introduzione a sistemi più "esoterici" come la logica quantistica e la logica fuzzy.
2015brossura Charles Babbage e Ada Lovelace siglano una delle più coinvolgenti collaborazioni scientifiche nella storia delle invenzioni. Lui, i cui interessi spaziavano dalla teologia all'economia industriale, fu inventore di numerosi congegni, tra cui la Macchina alle differenze e la Macchina analitica, antesignana (un secolo prima!) del moderno computer. Lei, Ada, figlia del poeta Lord Byron, fu la migliore interprete della visione di Babbage, anticipando concetti propri dell'information technology. Sullo sfondo dell'Inghilterra vittoriana, il volume racconta i passi di questo dinamico duo, in un intreccio di scienza, tecnologia e umanità.
2017br.
2007br. "L'idea di Occidente - secondo Toth - non corrisponde a un territorio né a una qualsiasi etnia." Sembra trattarsi piuttosto di una temperie dello spirito, una temperie inseparabile dalla filosofia. L'Occidente non è un luogo, ma il tempo nel quale la filosofia ha inizio. Il problema dei rapporti tra logica e matematica è divenuto esplicito nell'età moderna e, lungi dall'essere risolto, è posto anche ora come problema della definizione della matematica. Tale definizione, più volte tentata, appare sempre insufficiente e rinvia a ulteriori tentativi altrettanto inevitabili e ricchi di significato, che provvisori, come quelli della definizione della filosofia. Imre Toth nega che la matematica sia derivabile dalla logica e riducibile a essa e con ciò rifiuta ogni semplificazione nella considerazione del rapporto della filosofia con la matematica: esso non è tanto contenuto nel programma educativo di Platone descritto nella "Repubblica", quanto nel modo stesso in cui Platone fa filosofia ed espone il proprio pensiero nei suoi dialoghi.
2013br. Nel 1931 un giovane viennese, Kurt Gödel, diede alle stampe una breve memoria sulle "proposizioni formalmente indecidibili dei Principia mathematica e sistemi affini". Increduli, logici e matematici assistettero al crollo del luminoso edificio hilbertiano, tutto basato sull'onnipotenza del metodo assiomatico. In quelle pagine, infatti, si dimostrava l'incompletezza di un'ampia classe di teorie formali, tra cui l'aritmetica, nonché l'impossibilità di provare all'interno delle teorie stesse la loro coerenza. L'opera di Nagel e Newman è stata concepita per condurre il lettore al cuore dell'argomentazione di Gödel.
2016br. Si tratta del più completo lavoro che concerne l'Epistemologia Genetica e che insieme a "Biologie et Connaissance" rappresenta le posizioni che Jean Piaget ha assunto nei confronti del problema della costruzione delle conoscenze. Gli scritti piagetiani riportati in questo lavoro sono parte di una vasta opera di 1345 pagine, nella quale hanno scritto alcuni tra i più illustri rappresentanti di varie discipline: dal premio nobel per la fisica Louis de Broglie a Seymour Papert, da Jean-Blaise Grize a Pierre Greco e molti altri studiosi del periodo compreso tra il 1950 ed il 1970. Le pagine di Piaget rappresentano un ottimo raccordo tra le varie forme di conoscenza discusse ed allo stesso tempo propongono un metodo per realizzare un modo nuovo di intendere la conoscenza, fondandola sulle nozioni di complessità, costruzione e dialettica. Da questo punto di vista il presente lavoro, dato alle stampe nel 1967, si rivela ancor oggi di una sorprendente attualità, fornendo suggerimenti ed interessanti ipotesi di lavoro.
2010ill., br. Miracoli, oroscopi, superstizioni, numerologia, profezie... Quanto c'è di vero in tutte queste manifestazioni più o meno "occulte"? Perché vi ricorriamo così spesso quando non riusciamo a chiarire un fatto apparentemente inspiegabile? Il più delle volte, non c'è motivo di cercare una spiegazione... semplicemente perché non c'è! Anziché scomodare poteri occulti, influssi astrali od oracoli quantomeno nebulosi, è sufficiente ammettere l'esistenza del caso e che, laddove crediamo di intuire un messaggio nascosto, si tratta solo di una coincidenza (o di un'abile manipolazione dell'imbroglione di turno). Ennio Peres, con lo spirito arguto dell'enigmista - e ancor più del matematico - non si limita a sfatare leggende metropolitane, superstizioni e plateali fandonie, ma riconduce gli "scherzi del caso" a un gioco raffinato e stimolante: nelle loro infinite combinazioni, lettere, numeri e parole non sono solo un'ottima palestra per riconoscere e quindi difendersi dai capricci del caso, ma anche un'occasione di divertimento e, perché no, di arricchimento intellettuale.
2018ril. Gigante della logica del Novecento e tra i massimi pensatori di ogni epoca, definito dalla rivista Time «il matematico del secolo», Kurt Gödel ha legato il suo nome al celebre teorema di incompletezza, ma le sue ricerche hanno spaziato in ogni campo, dalla logica alla cosmologia e persino alla teologia, giungendo a esiti visionari e illuminanti, quando non addirittura rivoluzionari. Non a caso, le sue scoperte sono state uno strumento fondamentale per Alan Turing nella progettazione del computer. E non è un caso che a Princeton Albert Einstein cercasse la compagnia di Gödel per conversare con lui di scienza, filosofia e politica durante lunghe passeggiate quotidiane. Nel "Dio della logica", in cui compare anche un prezioso inedito tratto da una conferenza tenuta da Gödel nel 1934, Piergiorgio Odifreddi ci consegna una rigorosa biografia scientifica non priva di gustosi aneddoti e felici divagazioni filosofiche, ricostruendo l'avventura intellettuale di un genio che ebbe una brillante carriera accademica e illustri riconoscimenti in vita, ma fu anche uomo schivo, ipocondriaco e paranoico, preda di ossessioni e paure che lo tormentarono fino alla morte.
2018ill., br. La matematica non è un coacervo di nozioni, ma una disciplina, ossia un insieme di principi, regole e concetti connessi tra di loro, risultato di un processo storico costruito nel tempo con il contributo di menti creative individuali e collettive. La creatività, quindi, non è riservata solo alle discipline umanistiche e artistiche, ma costituisce anche l'essenza profonda dell'edificio matematico. Partendo da tale principio in questo libro vengono presentati una serie di giochi e di esercizi logico-matematici di diverso tipo, ma che invitano tutti alla ricerca di soluzioni originali e divergenti e mirano a sviluppare in chi li esegue la capacità di adottare diverse strategie risolutive. In poche parole, essere creativi.
2019br. Oggi, in un mondo dominato da meme, fake news, tweet di 140 caratteri, dibattiti televisivi in cui si impone chi grida più forte, quale spazio resta per il ragionamento logico, la riflessione, la razionalità? La logica sembra ormai dominio esclusivo dei matematici, che la usano per esplorare una realtà astratta e inaccessibile ai più. Ma è davvero così? Davvero non ci si può affidare a questo strumento fondamentale dell'intelletto per navigare con sicurezza nel confuso mondo umano? In questo suo nuovo saggio Eugenia Cheng ci mostra che non è così, che la logica può essere la base per discutere in maniera costruttiva di questioni assolutamente reali e scottanti, come la discriminazione razziale, le molestie sessuali o l'assistenza sanitaria universale. Per farlo è necessario conoscere i rudimenti del ragionamento logico, ma non basta: la logica rigorosa stabilisce solo ciò che è vero e ciò che non lo è all'interno di un sistema fondato su un insieme di assiomi, distingue il bianco dal nero, non conosce quelle «zone grigie» che sono ovunque nella vita reale. Perché non sia divisiva, perché serva a conciliare concezioni diverse invece che a estremizzare le contrapposizioni, la logica va sposata a quella dimensione umana imprescindibile che è la sfera emotiva. Cheng ci spiega come il connubio tra logica ed emozioni possa renderci non semplicemente razionali (anche i computer lo sono), ma capaci di quella razionalità intelligente che è forse la caratteristica più nobile della nostra natura di uomini.
2019br. Nel 1930 i teoremi di incompletezza di Kurt Gödel cambiarono il corso della filosofia della scienza. La dimostrazione per cui in una teoria soddisfacente certe condizioni minime è possibile costruire una proposizione che non può essere né dimostrata né confutata all'interno della teoria rappresenta uno dei cardini del pensiero scientifico. L'annuncio dei due teoremi al convegno di Königsberg, dedicato all'epistemologia e alle scienze esatte, infranse il sogno di Leibniz, quel "calcolemus" che doveva risolvere qualsiasi controversia. Una nuova logica fatta anche di antinomie e paradossi si era ormai imposta.
2019br. Lo spread potrà mai superare alef con zero? E quando questo accadrà, la Borsa saprà resistere? Il crollo si annuncia disastroso. Dove allora proteggere i risparmi, se non investendoli in un alef ancor più grande? Scenari da fantascienza. E in verità gli alef appartengono alla matematica più astratta e fantastica. Sono numeri, con le loro formule e i loro teoremi, tuttavia infiniti, fratelli maggiori degli 1, 2, 3... che si usano in finanza. Alef con zero è il più piccolo, ma altri gli si accodano. Sono pieni di misteri: chi tra loro è per esempio 2 alla alef con zero? Non sono un incubo, né turberanno mai le nostre economie. Vale però la pena di conoscerli, per apprezzare la genialità di chi - il matematico Georg Cantor - seppe idearli.
2020br. Il volume presenta le diverse tipologie di quesiti di logica matematica utilizzate nei concorsi pubblici nazionali e dell'Unione europea, nelle selezioni aziendali, nelle prove di accesso ai master e alle università. Ne illustra le caratteristiche e le strategie di risoluzione. Contiene centinaia di esercizi risolti e commentati, per guidare la preparazione del candidato. Per un ulteriore esercizio, il lettore può infine svolgere in autonomia altre batterie di quesiti, di cui è indicata la soluzione senza commento. In particolare, il testo propone teoria ed esercizi relativi a: serie numeriche; serie di lettere; problemi di calcolo; esercizi con percentuali e frazioni; ragionamento logico matematico; esercizi sulle probabilità; problemi di lavoro. Il volume è completato da un capitolo di esercizi di logica matematica in lingua inglese.
2021br. Se la logica regola le forme e le leggi del pensiero, come può integrarsi con il ragionamento matematico? Tratteggiare i confini di questa congiunzione significa affrontare un viaggio tra le correnti della filosofia e della matematica, giungendo infine a un elemento altro, integrato: la logica matematica. Abraham Robinson ricostruisce il quadro storico di questo complesso percorso, tratteggiandone i rapporti con i diversi àmbiti della filosofia e del linguaggio, in un testo che, malgrado la complessità dell'argomento, riesce a mantenere salda una straordinaria forza divulgativa. Arricchiscono il volume la prefazione di Gabriele Lolli e il saggio di Beppo Levi del 1934 sulla logica matematica.
2022br. Il professor Mens e gli studenti Aequor e Fulmen, prendendo spunto da vicende quotidiane, si cimentano con la logica matematica e linguistica. Attraverso dialoghi vivaci e divertenti, arricchiti da originali ed eloquenti disegni, i personaggi esplicitano i procedimenti logici che li portano alla soluzione dei quesiti. Dall'isola di Smullyan ai connettivi matematici e linguistici, dai campi semantici ai diagrammi di Eulero-Venn e così via, questo volume fornisce approfondimenti agili e batterie di test per esercitarsi sui diversi argomenti di logica proposti nei dialoghi. Se sei uno studente che deve prepararsi per i test di ammissione all'università o per le gare di matematica, se sei un docente che vuole costruire laboratori interdisciplinari a partire dai test di logica (per finire poi, chissà, col realizzare progetti di scrittura creativa o giochi di logica), se sei una persona curiosa che vuole cimentarsi in esercizi di logica, questo testo fa per te!
2009ril. Cinquantatre giochi di logica, parole, numeri, intuito e immaginazione.
2013br. Impertinente, in senso letterale, è chi "non appartiene", ad esempio a una politica o a una religione, e non appartenendo, suscita i risentimenti e le stizze di coloro che, appartenendo, lo tacciano di arroganza o insolenza. Il matematico impertinente è una specie del genere, caratterizzata dal fatto di non appartenere non per partito preso ma per motivi mutuati dalla più pura razionalità esistente: quella matematica. E l'incarnazione del matematico impertinente è Piergiorgio Odifreddi che nei saggi raccolti in questo volume su politica, religione, letteratura, filosofia e scienza - dispiega l'arsenale della ragione per argomentare che non è affatto vero che non possiamo non dirci cristiani, o che siamo tutti americani, o che la cultura è solo quella mitologica e (pseudo) filosofica sulla quale vive l'informazione. Ed è invece vero che non possiamo non dirci tecnologici, che siamo tutti africani, e che la cultura è anche (o soprattutto?) quella matematica e scientifica che informa la vita.
2016br. Nella misura in cui le leggi della matematica si riferiscono alla realtà non sono certe. E nella misura in cui sono certe, non si riferiscono alla "realtà". In tale antinomia A.Einstein descrisse l'incompatibilità tra l'idea di certezza e quella di precisione, ovvero la profonda crisi epistemologica che caratterizzò il pensiero scientifico del novecento: l'indeterminazione concettuale dei fenomeni, l'indicibilità di alcune asserzioni logiche e la vaghezza del rapporto tra mondo reale e mondo linguistico. A far seguito a tale rivoluzione paradigmatica, il tempo dimostrò presto i limiti della logica classica quale strumento inferenziale per descrivere la complessità della realtà. La logica fuzzy, valorizzando i paradossi e le ricorsività proprie della realtà, facilita la modellizzazione di sistemi complessi. L'autorevolezza della logica fuzzy risiede nella capacità di rappresentare la realtà mediante valori diversi dai semplici vero-falso, bianconero o 0-1, insite nella tradizione della logica classica, ma valutando tutte le sfumature di un mondo fatto principalmente di grigi, di verità parziali e di valori continui, anche di quelli apparentemente scollegati tra loro. Nel corso del testo, dopo una divulgativa introduzione ai principi della logica fuzzy, saranno affrontate in forma discorsiva alcune questioni, fortemente differenziate tra di loro, ma con in comune i caratteri propri della complessità del mondo...
2013br. Pur conservando l'ormai nota e inconfondibile metafora che vede un calcolatore come una gerarchia di livelli, questa nuova edizione presenta numerosi cambiamenti, che allineano i contenuti del manuale allo stato dell'arte dei più recenti sviluppi dell'industria. Gli esempi presentati riguardano Intel Core i7, OMAP4430 di Texas Instruments e ATmega168 di Atmel. Il Core i7 è un esempio di CPU largamente utilizzata su portatili, desktop e server, OMAP4430 è una diffusissima CPU basata su ARM, molto utilizzata su smartphone e tablet e ATmega168 è il microcontrollore della piattaforma open-source ARDUINO, presente in numerosi sistemi integrati, dalle radiosveglie digitali ai forni a microonde.
2021br. Lo studio della logica a livello universitario è sempre più diffuso, ma viene spesso affidato a testi di difficile lettura e di grandi dimensioni. Questo volume, rivolto a studenti di materie sia umanistiche sia scientifiche, è un'agile guida introduttiva che coniuga una non comune chiarezza espositiva con il necessario rigore scientifico. Tutti i concetti e le tecniche di calcolo caratteristiche dell'indagine logica sono presentati in modo graduale e illustrati con molteplici esempi. Ogni capitolo è corredato di numerosi esercizi - tutti con risposta, spesso adeguatamente commentata - che consentono di consolidare le conoscenze acquisite. In questa terza edizione, a cura di Marcello Frixione, oltre a doverosi aggiornamenti bibliografici, sono stati introdotti vari riquadri nei quali vengono chiariti alcuni aspetti puntuali o concetti di base dell'indagine logica.
2020br. Tutti sappiamo che due più due fa quattro, ma pochi di noi sono in grado di dire perché. Si tratta, in effetti, di un'affermazione tutt'altro che scontata da un punto di vista matematico. Si celebrano coloro che dimostrano teoremi apparentemente astrusi, si girano film su questi personaggi eccentrici, ma come abbiano fatto, in che cosa consista la loro prova non sembra essere mai del tutto chiaro. In QED , che altro non è se non l'acronimo per Quod Erat Demonstrandum , formula di rito posta alla fine di tutte le dimostrazioni matematiche, la problematica delle dimostrazioni viene inserita in un quadro storico e filosofico, dai greci a Descartes alla rigorizzazione dell'Ottocento, ma soprattutto le dimostrazioni vengono discusse dall'interno, per far risaltare il loro ruolo nella costruzione della matematica. Al termine della lettura, sarà impossibile restare insensibili al fascino dell'eleganza razionale dell'attività dimostrativa, dal lampo d'intuizione iniziale alla sua inevitabile e stringente conclusione, a volte così poco intuitiva da risultare sorprendente.
2012ill., br. Pinocchio rivive le sue avventure sullo sfondo di nuovi paesaggi paradossali. Il più celebre burattino di tutti i tempi si troverà di fronte al dilemma del coccodrillo, al paradosso del mentitore, a quello della nave di Teseo, alla mitica gara tra Achille e la tartaruga e tanti altri: come farà a superare questi nuovi ostacoli? L'immancabile Grillo parlante con la sua proverbiale sapienza spiega al burattino, e ai lettori, come uscire dall'impasse in cui le contraddizioni logiche e matematiche li hanno fatti sprofondare. Un libro per scoprire il gusto del ragionamento, arricchito di illustrazioni che reinventano la popolare fiaba di Collodi.
2006br. Il testo, adottando un adeguato compromesso fra livello di approfondimento e rigore formale, fornisce una visione omogenea e sintetica delle reti logiche, classificate ulteriormente in reti combinatorie e reti sequenziali, dai fondamenti alla progettazione, includendo anche i modelli teorici di supporto (algebra di Boole, automi). La prima parte tratta le reti combinatorie; la seconda parte riguarda l'analisi e il progetto delle reti sequenziali, mentre nell'ultimo capitolo sono esaminate le reti booleane a soglia. I capitoli sono corredati da esercizi e quesiti e dalle relative soluzioni. Il volume si conclude con tre appendici - sul comportamento asintotico delle funzioni, sulla rappresentazione numerica e sui linguaggi regolari - fondamentali per approfondire la materia. Sul sito www.carocci.it si trovano poi materiali didattici di ausilio per il docente ed esercizi di riepilogo per gli studenti, utili al ripasso e all'autovalutazione del livello di apprendimento.