Intuizionismo
Enciclopedia del Novecento (1978)
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] è definito da una successione infinita di numeri razionali. In questo caso l'infinito è molto più essenziale che in aritmetica, dove compare soltanto nella forma: ‟Dopo ogni numero naturale ce n'è un altro". In analisi enunciamo proposizioni su ogni ...
Leggi Tutto
Chuquet, Nicolas
Enciclopedia on line
Matematico francese (n. forse 1445) e medico a Lione, è stato uno degli spiriti più originali del suo tempo. Autore di un trattato di aritmetica e algebra, che si riconnette all'opera di N. Oresme, e nel [...] quale, tra l'altro, viene introdotto l'uso degli esponenti negativi. L'opera, condotta a termine nel 1484, fu stampata soltanto nel sec. 19º, nel Bullettino di B. Boncompagni ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
virgola fissa
Enciclopedia della Matematica (2013)
virgola fissa
virgola fissa particolare rappresentazione dei numeri razionali in un automa esecutore, quale un → elaboratore elettronico. Stabilita la base b del sistema di numerazione scelto (nell’aritmetica [...] ’eventuale sottrazione dei due numeri produce quindi un risultato nullo (si vedano: → sistema di numerazione posizionale; → aritmetica in virgola mobile o fissa). La virgola fissa si affianca alla rappresentazione alternativa in virgola mobile, nella ...
Leggi Tutto
La matematica e le matematiche
Storia della civiltà europea a cura di Umberto Eco (2014)
La matematica e le matematiche
Luca Simeoni
Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Archita, pitagorico del IV secolo a.C., è il primo ad usare il termine “matematiche” [...] in senso generale e che è comune a tutte le altre (Metafisica, VI, 1). Quanto alle singole discipline matematiche, aritmetica e geometria studiano gli enti matematici nella maniera più astratta dal sensibile; altre invece sono più vicine alla fisica ...
Leggi Tutto
Bürja, Abel
Enciclopedia on line
Matematico (Kikebusch, Berlino, 1752 - Berlino 1816), prof. di matematica all'Accademia militare di Berlino e membro dell'Accademia delle scienze; contribuì alla moderna sistemazione dell'aritmetica (simboli, [...] procedimenti rapidi di calcolo), a lui si deve in particolare un metodo per trovare il logaritmo di un numero in una base qualsiasi mediante uno sviluppo in frazione continua ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
termine
Dizionario delle Scienze Fisiche (1996)
termine
tèrmine [Der. del lat. terminus "limite, confine"] [ALG] Ciascuno degli elementi sui quali opera una legge di composizione algebrica, come, per es., nell'aritmetica i t. di un'addizione sono [...] i suoi addendi, di una moltiplicazione i suoi fattori, di una frazione il numeratore e il denominatore. ◆ [ALG] [FAF] Nella logica matematica, in una teoria formalizzata del primo ordine o di ordine superiore, ...
Leggi Tutto
Boncompagni Ludovisi
Enciclopedia della Matematica (2013)
Boncompagni Ludovisi
Boncompagni Ludovisi Baldassarre (Roma 1821-94) matematico e storico della scienza italiano. A lui si deve la pubblicazione (1857) di due trattati di aritmetica dei secoli xii e [...] xiii, Algoritmi de numero Indorum e Liber algorismi de practica arismetice ...
Leggi Tutto
verifica
Enciclopedia on line
In contabilità, v. dei conti, l’operazione di riscontro sia delle scritture eseguite nei conti del mastro con quelle dei libri elementari, sia dell’uguaglianza aritmetica degli addebitamenti e accreditamenti [...] registrati nei conti, al fine di accertare l’esattezza del riporto delle scritture dal giornale al mastro; v. del bilancio, l’operazione di riscontro, eseguita dal collegio sindacale, dei dati risultanti ...
Leggi Tutto
CATEGORIA:
CONTABILITA
LETTERALE, CALCOLO
Enciclopedia Italiana (1933)
LETTERALE, CALCOLO
Giovanni LAMPARIELLO
*
Si dice anche calcolo algebrico, ed è quell'insieme di convenzioni e di regole, con cui si estendono le operazioni dell'aritmetica ai numeri rappresentati [...] fa generalmente la convenzione di denotare con codesto simbolo la radice nma (o, in particolare, quadrata) positiva o aritmetica, mentre la radice negativa si designa premettendo in evidenza il segno −, cioè scrivendo
Va aggiunto incidentalmente che ...
Leggi Tutto
prova del nove
Enciclopedia della Matematica (2013)
prova del nove
prova del nove algoritmo che fornisce una condizione, necessaria ma non sufficiente, per verificare l’esattezza del risultato in un’operazione aritmetica tra numeri interi (vale a dire [...] la moltiplicazione, l’addizione, la sottrazione e la divisione con resto).
L’algoritmo permette di ricondurre la verifica a operazioni che coinvolgono numeri relativamente piccoli e pertanto applicare ...
Leggi Tutto