l'accesso più veloce di browser!
24 relazioni: Aristotele, Assioma, Averroè, David Hilbert, Deduzione, Dimostrazione matematica, Dimostrazione per assurdo, Enunciato, Ipotesi, Lemma (matematica), Logica, Logica aristotelica, Logica matematica, Medioevo, Modus ponens, Progresso tecnico editoriale, Proposizione (logica), Ragionamento, Rudolf Carnap, Sillogismo, Teorema, Tesi, Verità, XIX secolo.
Aristotele
È ritenuto una delle menti filosofiche più innovative, prolifiche e influenti del mondo antico occidentale, sia per la vastità che per la profondità dei suoi campi di conoscenza, compresa quella scientifica.
Nuovo!!: Dimostrazione e Aristotele · Mostra di più »
Assioma
In epistemologia, un assioma è una proposizione o un principio che è assunto come vero perché ritenuto evidente o perché fornisce il punto di partenza di un quadro teorico di riferimento.
Nuovo!!: Dimostrazione e Assioma · Mostra di più »
Averroè
Averroè nacque nella Spagna musulmana in una famiglia di famosi giuristi della scuola malikita; sia il nonno paterno ʿAbd al-Walīd Muhammad, che il padre, ʿAbd al-Qāsim Ahmad, erano qāḍī (autorità locali incaricate di amministrare la giustizia) nella Cordova almohade.
Nuovo!!: Dimostrazione e Averroè · Mostra di più »
David Hilbert
È stato uno dei più eminenti ed influenti matematici del periodo a cavallo tra il XIX secolo e il XX secolo.
Nuovo!!: Dimostrazione e David Hilbert · Mostra di più »
Deduzione
Il metodo deduttivo o deduzione è il procedimento razionale che fa derivare una certa conclusione da premesse più generiche, dentro cui quella conclusione è implicita.
Nuovo!!: Dimostrazione e Deduzione · Mostra di più »
Dimostrazione matematica
Una dimostrazione matematica è un processo di deduzione che, partendo da premesse assunte come valide (ipotesi) o da proposizioni dimostrate in virtù di queste premesse, determina la necessaria validità di una nuova proposizione in virtù della (sola) coerenza formale del ragionamento.
Nuovo!!: Dimostrazione e Dimostrazione matematica · Mostra di più »
Dimostrazione per assurdo
La dimostrazione per assurdo (per cui si usa anche la locuzione latina reductio ad absurdum), nota anche come ragionamento per assurdo, è un tipo di argomentazione logica in cui si assume temporaneamente un'ipotesi, si giunge ad una conclusione assurda, e quindi si dimostra che l'assunto originale deve essere errato.
Nuovo!!: Dimostrazione e Dimostrazione per assurdo · Mostra di più »
Enunciato
Un enunciato è una sequenza di suoni con contenuto linguistico, o fonemi, organizzati in parole e frasi.
Nuovo!!: Dimostrazione e Enunciato · Mostra di più »
Ipotesi
Un'ipotesi (dal greco antico ὑπόθεσις hypothesis, composto da hypo, "sotto" e thesis, "posizione", ovvero supposizione) è la premessa sottesa ad un ragionamento o a una dimostrazione.
Nuovo!!: Dimostrazione e Ipotesi · Mostra di più »
Lemma (matematica)
In matematica per lemma si intende un enunciato che viene dimostrato nell'ambito di una teoria formale (come un teorema, un corollario o una qualsiasi proposizione derivabile dagli assiomi della teoria stessa mediante un procedimento dimostrativo) e che in un'esposizione sistematica della teoria viene presentato come fatto preliminare ad un enunciato di maggiore evidenza cui si riserva il ruolo di teorema.
Nuovo!!: Dimostrazione e Lemma (matematica) · Mostra di più »
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a definire la correttezza dei procedimenti inferenziali del pensiero.
Nuovo!!: Dimostrazione e Logica · Mostra di più »
Logica aristotelica
La Logica comprende una serie di scritti aristotelici raccolti nel titolo complessivo di Organon (in greco "Strumento") comprendenti.
Nuovo!!: Dimostrazione e Logica aristotelica · Mostra di più »
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Nuovo!!: Dimostrazione e Logica matematica · Mostra di più »
Medioevo
Il Medioevo è una delle quattro grandi età storiche (antica, medievale, moderna e contemporanea) in cui viene tradizionalmente suddivisa la storia dell'Europa nella storiografia moderna.
Nuovo!!: Dimostrazione e Medioevo · Mostra di più »
Modus ponens
Nella logica, il Modus ponens (MP), accorciamento del latino modus ponendo ponens (modo che afferma, letteralmente modo che pone con l'aver posto), è una semplice e valida regola d'inferenza, che afferma in parole: o in notazione con operatori logici: \vdash q dove \vdash rappresenta l'asserzione logica, nota anche come sequente.
Nuovo!!: Dimostrazione e Modus ponens · Mostra di più »
Progresso tecnico editoriale
Progresso tecnico editoriale è stata una casa editrice milanese, attiva negli anni sessanta e ai primordi dei settanta del Novecento, specializzata nella pubblicazione di monografie scientifiche, in formato paperback, nei settori della matematica, della fisica e della chimica, classificabili nel genere della divulgazione: per il contenuto e il formalismo utilizzato erano infatti destinate a studenti di livello universitario, anche se ambivano ad essere accessibili a un più vasto pubblico di fruitori, proponendosi, almeno nelle intenzioni dell'editore, come «strumento per qualunque lettore interessato che voglia approfondire le proprie conoscenze scolastiche » La casa editrice era un'appendice della Aldo Martello editore di Milano.
Nuovo!!: Dimostrazione e Progresso tecnico editoriale · Mostra di più »
Proposizione (logica)
In filosofia e logica moderna una proposizione è una proposizione (linguistica) avente un significato che afferma o nega qualcosa, ad esempio “la neve è bianca”.
Nuovo!!: Dimostrazione e Proposizione (logica) · Mostra di più »
Ragionamento
Il ragionamento è il processo cognitivo che, partendo da determinate premesse, porta a una conclusione, facendo uso di procedimenti logici, tipico delle argomentazioni.
Nuovo!!: Dimostrazione e Ragionamento · Mostra di più »
Rudolf Carnap
Carnap nacque a Ronsdorf (oggi Wuppertal), frequentò il ginnasio di Barmen, poi dal 1910 al 1914 studiò a Jena.
Nuovo!!: Dimostrazione e Rudolf Carnap · Mostra di più »
Sillogismo
Il sillogismo (dal greco συλλογισμός, syllogismòs, formato da σύν, syn, "insieme", e λογισμός, logismòs, "calcolo": quindi, "ragionamento concatenato") è un tipo di ragionamento dimostrativo che fu teorizzato per la prima volta da Aristotele, il quale, partendo dai tipi di termine "maggiore" (che funge da predicato nella conclusione), "medio" e "minore" (che funge da soggetto nella conclusione) classificati in base al rapporto contenente-contenuto, giunge ad una conclusione collegando i suddetti termini attraverso brevi enunciati (premesse).
Nuovo!!: Dimostrazione e Sillogismo · Mostra di più »
Teorema
Un teorema è una proposizione che, a partire da condizioni iniziali arbitrariamente stabilite, trae delle conclusioni, dandone una dimostrazione.
Nuovo!!: Dimostrazione e Teorema · Mostra di più »
Tesi
La tesi (dal greco antico ϑεσις thesis, ovvero posizione) è un enunciato, o una proposizione, di cui si vuole accertare la validità tramite una dimostrazione, a partire da un'ipotesi e da assiomi.
Nuovo!!: Dimostrazione e Tesi · Mostra di più »
Verità
Con il termine verità (in latino veritas, in greco αλήϑεια) si indica il senso di accordo o di coerenza con un dato o una realtà oggettiva, o la proprietà di ciò che esiste in senso assoluto e non può essere falso.
Nuovo!!: Dimostrazione e Verità · Mostra di più »
XIX secolo
È il primo secolo dell'età contemporanea, un secolo di grandi trasformazioni sociali, politiche, culturali ed economiche a partire dalla caduta di Napoleone Bonaparte e la successiva Restaurazione, i moti rivoluzionari, la costituzione di molti stati moderni tra cui il Regno d'Italia, la guerra di secessione americana, la seconda rivoluzione industriale fra positivismo, evoluzionismo e decadentismo, l'imperialismo e sul finire la grande depressione e la Belle Époque.
Nuovo!!: Dimostrazione e XIX secolo · Mostra di più »
