Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] diversi da quelli indicati appartengano a I (o godano di P). Per es., una tipica definizione per i. è quella nell’insieme N deinumerinaturali. L’elemento-base è lo zero, l’operazione è quella di «successore»; si dirà allora: 1) zero appartiene a N ...
Leggi Tutto
infinito
infinito [agg. e s.m. Der. del lat. infinitus, comp. di in- neg. e del part. pass. finitus di finire "limitare", da finis "confine"] [LSF] Oltre che nei signif. matematici (per i quali v. oltre), [...] limite, cioè come numerosità o potenza di un insieme: rientrano in questo concetto l'i. numerabile (cioè la potenza dell'insiemedeinumerinaturali), l'i. continuo (la potenza del-l'insiemedeinumeri reali, dei punti di una retta, ecc.). ◆ [ANM] I ...
Leggi Tutto
Tredicesima lettera dell’alfabeto latino.
Linguistica
La forma maiuscola (N) è simile a quella già posseduta dall’alfabeto fenicio. La forma minuscola deriva da quella della minuscola antica romana e [...] 0 °C). In ottica, n solitamente è il simbolo dell’indice di rifrazione. In elettronica, n indica un tipo di semiconduttore in cui i portatori di carica maggioritari sono elettroni.
Matematica
Con la lettera N si indica l’insiemedeinumerinaturali. ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] né vera né falsa. Per es., la formula chiusa ∀x∃y(2x = y), se il dominio dell'interpretazione è l'insiemedeinumerinaturali, risulta vera; la formula aperta 2x = y per la stessa interpretazione non risulta né vera né falsa. Una formula di L ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] stabilisca in un tempo finito se la formula sia vera nel campo deinumeri razionali. La dimostrazione usa la definibilità nel campo razionale dell'insiemedeinumerinaturali, la cui teoria è indecidibile, come era stato dimostrato negli anni Trenta ...
Leggi Tutto
potenza
potènza [Der. del lat. potentia, dall'agg. potens -entis "potente", part. pres. di posse "potere"] [LSF] (a) Generic., capacità di produrre grandi effetti. (b) Specific., l'energia che viene [...] reali, indicata con i simb. א₁ ("aleph uno") e 2א0 ("due alla aleph zero"). ◆ [MCS] P. del numerabile: la p. dell'insiemedeinumerinaturali, indicata tradizionalmente con il simb. א₀ ("aleph zero"). ◆ [ELT] [INF] P. di calcolo: per un calcolatore ...
Leggi Tutto
N
N 〈ènne〉 [Forma maiusc. della lettera n] [ASF] (a) Simb. di (stella) nova e come tale anche simb. di una serie secondaria di tipi spettrali di stelle: v. stella: V 624 a. ◆ [ALG] Simb. dell'insieme [...] deinumerinaturali. ◆ [ANM] Simb. dell'operatore numero. ◆ [CHF] (a) Simb. dell'elemento chimico azoto (lat. scient. Nitrogenum). (b) Simb. di (concentrazione) normale: soluzione N (=normale). (c) NA è il simb. usuale della costante di Avogadro. ◆ [ ...
Leggi Tutto
computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] Di una variabile (per es., l'insiemedeinumerinaturali) che si può calcolare effettivamente, cioè per la quale esiste un procedimento che permette di determinarne i valori o, in altri termini, le grandezze che possono essere calcolate con un ...
Leggi Tutto
numerabilenumeràbile [agg. e s.m. Der. del lat. numerabilis, da numerus "numero"] [LSF] Che può essere numerato, cioè contraddistinto (in base a un criterio certo) con un numero, oppure che può essere [...] che possa essere messo in corrispondenza biunivoca con l'insiemedeinumerinaturali, come capita per i numeri razionali, algebrici e, in altro campo, per l'insiemedei punti che abbiano coordinate intere e appartenenti a una retta, a un piano ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
numerabile
numeràbile agg. e s. m. [dal lat. numerabĭlis]. – Che può essere numerato, cioè distinto con numeri, oppure calcolato esattamente: ci darà la quantità esatta delle ore e minuti ..., se la frequenza fusse da noi n. (Galilei). In...