Resultados da pesquisa

{{esboço-matemática}} {{Portal3|Filosofia|Linguística}} ...

...or [[Albert Einstein]] para explorar algumas das consequências da [[Teoria da Relatividade]]. Um experimento mental clássico permite por exemplo demonstr ...o mais antigo e remonta à tradição grega. Um famoso exemplo é a [[alegoria da caverna]] de [[Platão]]. Outros exemplos clássicos se encontram no pensamen ...

...aparente sistema [[Indeterminismo|não-determinístico]] dentro dos limites da [[mecânica newtoniana]]. Ele foi concebido por John D. Norton e discutido p ...inidade de partículas. Todavia, alguns [[filósofo]]s questionam a validade da cúpula de Norton quanto a ser um sistema newtoniano.<ref>Malament, D., 2008 ...

...e trabalhou, principalmente, em questões relacionadas aos [[fundamentos da matemática]]. ...[[filosofia]] e [[psicologia]]. Seu  [[Doutorado em filosofia|Ph. D.]] em filosofia foi em 1935. ...

...w|titulo=Sistema Internacional de Unidades - SI - tradução luso-brasileira da 9º edição do BIPM (2021)|data=2021|acessodata=2024|urlmorta=não}}</ref> φ r * '''φ''' (minúscula) é utilizada como logo representativo da [[filosofia]]. ...

...-sintética|analítico]] e não requer nenhuma faculdade especial de intuição matemática. A partir deste ponto de vista, a lógica é o fundamento adequado das matemá ...ofia analítica]] no século XX, embora às vezes se alegue que os [[teoremas da incompletude de Gödel]] minam o propósito do projeto, embora seja mais apro ...

...cnico simples de alguma prova ou definição. A origem do termo em linguagem matemática vem do [[Trívio|currículo trivium]] medieval. O antônimo, o "''não trivial' {{esboço-matemática}} ...

...mática|demonstração]] da existência de certo [[objeto matemático]] através da sua construção. Uma demonstração construtiva fornece um [[algoritmo]] para ...a expressão ''construção via axioma da escolha'', não obstante o [[axioma da escolha]] não conduza a demonstração construtivas, pois é um [[axioma do in ...

Em [[lógica]] e [[filosofia]], '''S5''' é um dos cinco sistemas de [[lógica modal]] propostos por [[Cla ...ghtarrow B) \longrightarrow (\Box A \longrightarrow \Box B)</math> (axioma da necessitação) ...

{{Ver desambig|lema, visto pela [[matemática]]|lema (desambiguação)}} ...co sobre a linguagem matemática – Finalizando . . . – Clubes de Matemática da OBMEP|url=http://clubes.obmep.org.br/blog/linguagem-matematica-sala-5/|obra ...

O '''tetralema''' é uma figura que aparece com destaque na lógica da Índia. ...nvestigação de forma, em vez de lógica, no Nasadiya Sukta do Rigveda (hino da criação), parece raramente ser usado como uma ferramenta de lógica antes do ...

Filho do geodesista [[Robert Daublebsky von Sterneck]], estudou matemática a partir de 1889 na [[Universidade de Viena]], onde obteve em 1893 um [[dou ...da [[Universidade de Graz]], onde foi em 1913/1914 decano da Faculdade de Filosofia. ...

|campo =[[matemática]] ...seus estudos sobre a história da lógica, particularmente sua interpretação da [[lógica aristotélica]]. ...

|ocupação = [[Filosofia|Filósofo]] e [[Ciências|cientista]] |escola = [[Filosofia islâmica]], [[Mutazilismo]], [[escola peripatética]], [[ciência islâmica]] ...

...a '''notação de Leibniz''', nomeada em honra ao [[Filosofia|filósofo]] e [[matemática|matemático]] [[Alemanha|alemão]] [[Gottfried Wilhelm Leibniz]], usa os símb ...ontendo ''x''_''i'', Leibniz o entendia como uma soma (o símbolo da integral denota um somatório) de infinitas quantidades infinitesimais ''f'' ...

...zem uns aos outros para permitir que a disciplina avance. Muitas coisas na matemática são convenções: os símbolos que se usa(<math>+, -, \forall, \nexists, =</m ...meros naturais|naturais]] varia de autor para autor e de área para área da Matemática. Muitas vezes vale a pena desconsiderá-lo pois, do contrário, teríamos que ...

Em [[filosofia da linguagem]], uma '''teoria semântica da verdade''' é uma teoria que afirma que a [[verdade]] é uma propriedade das ...is notável foi o seu [[teorema da indefinibilidade]], similar ao [[teorema da incompletude de Gödel]], que afirma que o conceito de "verdade" para as sen ...

...mplo a essa afirmação. Um contraexemplo, portanto, é um exemplo específico da falsidade de uma [[quantificação universal]] (uma afirmação "para todo").<r == Na matemática == ...

'''Henry Maurice Sheffer''' ([[1882]] — [[1964]]) foi um [[Lógica matemática|lógico]] [[EUA|estado-unidense]]. ...ormente se tornou professor do [[Departamentos da França|Departamento]] de Filosofia. [[Michael Scanlan]] publicou em [[2000]] um ensaio biográfico sobre a vida ...

...=[[Retórica]], [[filosofia]], [[política]], [[poesia]], [[música]], [[matemática]], [[pintura]], [[escultura]] ...écia antiga|antiga Grécia]] contemporâneo de [[Sócrates]].<ref>história da matemática (Carl Boyer). Trad Elza F. Gomide. Brasil edições Edgard Blüncher ltda. 201 ...