Acesso mais rápido do que o navegador!
19 relações: A. W. F. Edwards, Andrei Kolmogorov, Ciência da computação, Consequência lógica, David Cox, Edmund Husserl, Filósofo, Filosofia, Franz Brentano, Gottlob Frege, Lógica, Lógica filosófica, Lógica matemática, Suecos, Tarski Lectures, Ulf Grenander, Universidade de Aarhus, Universidade de Chicago, Universidade de Estocolmo.
A. W. F. Edwards
Anthony William Fairbank Edwards, FRS (nascido em 1935) é um estatístico, geneticista e biólogo evolucionista britânico.
Novo!!: Per Martin-Löf e A. W. F. Edwards · Veja mais »
Andrei Kolmogorov
Andrei Nikolaevich Kolmogorov (Андрей Николаевич Колмогоров; Tambov, — Moscou) foi um matemático soviético, que fez contribuições significativas em teoria das probabilidades, topologia, lógica intuicionista, turbulência, mecânica clássica, Teoria Algorítmica da Informação e análise de algoritmos.
Novo!!: Per Martin-Löf e Andrei Kolmogorov · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Per Martin-Löf e Ciência da computação · Veja mais »
Consequência lógica
Consequência lógica é um conceito fundamental na lógica.
Novo!!: Per Martin-Löf e Consequência lógica · Veja mais »
David Cox
David Roxbee Cox FRS (Birmingham, - 18 de janeiro de 2022) foi um estatístico britânico.
Novo!!: Per Martin-Löf e David Cox · Veja mais »
Edmund Husserl
Edmund Gustav Albrecht Husserl (Proßnitz, 8 de abril de 1859 — Friburgo em Brisgóvia, 27 de abril de 1938) foi um filósofo e matemático alemão fundador da escola da fenomenologia.
Novo!!: Per Martin-Löf e Edmund Husserl · Veja mais »
Filósofo
Filósofo é alguém que pratica a filosofia, a qual envolve investigação racional em áreas que estão fora da teologia ou da ciência.
Novo!!: Per Martin-Löf e Filósofo · Veja mais »
Filosofia
Filosofia (do grego Φιλοσοφία, philosophia, literalmente "amor pela sabedoria") é o estudo de questões gerais e fundamentais sobre a existência, conhecimento, valores, razão, mente, e linguagem; frequentemente colocadas como problemas a se resolver.
Novo!!: Per Martin-Löf e Filosofia · Veja mais »
Franz Brentano
Franz Clemens Honoratus Hermann Brentano (Boppard,Albertazzi, Liliana.. Springer Science & Business Media, 2006, p. 7s. 16 de Janeiro de 1838 — Zurique, 17 de Março de 1917) foi um filósofo e psicólogo alemão fundador da psicologia do ato.
Novo!!: Per Martin-Löf e Franz Brentano · Veja mais »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, — Bad Kleinen) foi um matemático, lógico e filósofo alemão.
Novo!!: Per Martin-Löf e Gottlob Frege · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Per Martin-Löf e Lógica · Veja mais »
Lógica filosófica
Entendida em um sentido estrito, a lógica filosófica é a área da filosofia que estuda a aplicação de métodos lógicos a problemas filosóficos, muitas vezes na forma de sistemas lógicos estendidos como a lógica modal.
Novo!!: Per Martin-Löf e Lógica filosófica · Veja mais »
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Novo!!: Per Martin-Löf e Lógica matemática · Veja mais »
Suecos
Os suecos (em sueco: svenskar) são um povo escandinavo que habita a Suécia, um país situado no lado leste da Península da Escandinávia.
Novo!!: Per Martin-Löf e Suecos · Veja mais »
Tarski Lectures
As Tarski Lectures (Palestras Tarski) da Universidade da Califórnia em Berkeley são uma honraria em lógica matemática em memória de Alfred Tarski.
Novo!!: Per Martin-Löf e Tarski Lectures · Veja mais »
Ulf Grenander
Ulf Grenander (Västervik, – Providence) foi um matemático sueco.
Novo!!: Per Martin-Löf e Ulf Grenander · Veja mais »
Universidade de Aarhus
Universidade de Aarhus A Universidade de Aarhus (em dinamarquês Aarhus Universitet), fundada em 1928, é a segunda maior universidade da Dinamarca, superada apenas pela Universidade de Copenhague.
Novo!!: Per Martin-Löf e Universidade de Aarhus · Veja mais »
Universidade de Chicago
A Universidade de Chicago (UChicago, U of C, ou Chicago) é uma universidade de pesquisa privada sem fins lucrativos em Chicago, Illinois.
Novo!!: Per Martin-Löf e Universidade de Chicago · Veja mais »
Universidade de Estocolmo
A Universidade de Estocolmo (em sueco: Stockholms universitet) é uma universidade da Suécia, e uma das maiores e mais prestigiadas da Escandinávia.
Novo!!: Per Martin-Löf e Universidade de Estocolmo · Veja mais »
