{{{1}}}
è detto segno della s.). ◆ [FAF] S. logica: quell'argomentazione nella quale, avendo stabilito una certa classe o un certo concetto universale e dimostrato che una singola realtà ne è totalmente [...] o parzialmente priva, si conclude che essa non appartiene a quella classe o non è includibile in quel concetto. ◆ [ALG] S. tra due insiemi: l'operazione con cui si forma l'insieme (insieme differenza) ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] la attuale teoria dei gruppi computabili che tenta di analizzare classi di gruppi infiniti in cui si possano sviluppare metodi effettivi.
Logica, combinatoria e K-teoria
Vogliamo soltanto accennare al fatto che le idee di Kurt Gödel (1906-1978) sull ...
Leggi Tutto
Scienziato e letterato (Bologna 1748 - ivi 1802), lettore di logica, quindi (1788) di fisica e infine (1800) di matematica applicata nell'univ. di Bologna. Membro dell'Accademia bolognese delle scienze, [...] dove insegnò nautica (1771), ne fu dal 1797 segretario. È autore di opere scientifiche (Sugli accidenti che s'osservano nel suono ...; Del suono e specialmente dell'intensità di esso, ecc.) e letterarie ...
Leggi Tutto
alternativa
alternativa [Der. di alternato] [FAF] [ELT] [INF] Operazione logica, sinon. di OR. ◆ [ANM] Principio dell'a.: principio utilizzabile per la risolubilità di un'equazione integrale di Fredholm [...] di seconda specie: v. equazioni integrali: II 477 d ...
Leggi Tutto
antinomia
antinomìa [Der. del gr. antinomía "controlegge"] [ALG] [FAF] Nella logica e logica matematica, sinon. di paradosso logico (→ paradosso). ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] libro sulla teoria degli insiemi è indispensabile per i lettori desiderosi di sapere come si possano superare le difficoltà logiche create dalla presenza di tali termini non definiti [...]. Il lettore non mancherà di osservare che il punto di vista ...
Leggi Tutto
metasimbolo
metasìmbolo [Comp. di meta- e simbolo] [ALG] [FAF] Nella logica matematica, simb. non appartenente all'alfabeto di una teoria e che viene introdotto con funzione ausiliaria per semplificare [...] l'esposizione della teoria medesima ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La probabilita
Eugenio Regazzini
La probabilità
Evoluzione della nozione di probabilità
La grande difficoltà in cui si dibattevano i cultori [...] che è vero se e solo se B ed E si verificano congiuntamente, falso se E si verifica e B non si verifica, privo di valore logico se E non si verifica: è un modo diverso per dire che IB∣E è la restrizione di IB a E. L'unica e ovvia restrizione nelle ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] da Guido Castelnuovo, Federigo Enriques e Francesco Severi impegnati prevalentemente nella teoria delle superfici algebriche, allora in espansione, e nella classificazione delle superfici, in particolare ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] dell'analisi. Le origini risalgono al XVII sec., e nel XIX era una delle branche più attive della matematica. I problemi tipici studiati dai geometri differenziali dell'epoca riguardavano curve nel piano ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...