Vídeos

Dispobilizamos vídeos institucionais, com conteúdos originados de grupos de pesquisas (Grupo Auto-Organização, Grupo de Lógica Teórica e Aplicada, ...) sediados nesta unidade, bem como palestras de professores visitantes e outros assuntos pertinentes ao CLE.

Grupo Interdisciplinar CLE Auto-Organização

Seminários Conjuntos CLE - IMECC 2019

Fundamentos filosóficos da probabilidade

Prof. Dr. Walter Carnielli

Seminários Conjuntos CLE - IMECC 2019

WorkShop - Indução Probablidade e Seus Dilemas

Lógica e Filosofia da Ciência: O problema da indução na ciência estatística (Parte III e IV)

Prof. Júlio Stern

WorkShop - Indução Probablidade e Seus Dilemas

Probabilidade em Popper vs Kolmogorov

Juliana Bueno-Soler

WorkShop - Indução Probablidade e Seus Dilemas

A questão do suporte probabilístico para a indução

Prof. Dr. Walter Carnielli, Prof. Maíra Bitterncourt

WorkShop - Indução Probablidade e Seus Dilemas

Lógica e Filosofia da Ciência: O problema da indução na ciência estatística (Parte I e II)

Prof. Júlio Stern

WorkShop - Indução Probablidade e Seus Dilemas

2NDCLE4SCIENCE

Relation algebras: basic definitions, properties and Tarski’s open problems Itala D’Ottaviano 2NDCLE4SCIENCE	Handling Mobility Failures by Modal Types Giuseppe Primiero 2NDCLE4SCIENCE	Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths Christoph Benzmüller 2NDCLE4SCIENCE	Human autonomy and Big Data: Consequences of Turing’s Machinery and Intelligence thesis implemented in the XXI century Maria Eunice Quilici Gonzalez 2NDCLE4SCIENCE
Tutorial, Christoph Benzmüller Christoph Benzmüller 2NDCLE4SCIENCE	A Categorical Formalization of a Dissipative QFT System as a Topological Quantum Computing System Gianfranco Basti 2NDCLE4SCIENCE	A Three Valued Paraconsistent Logic Programming System Marcelo E. Coniglio 2NDCLE4SCIENCE

Grupo de Lógica Teórica e Aplicada (GLTA)

O céu sem limite da Informação Quântica

Walter Carnielli, Informação Quântica, Computação, Processos da Informação, SQIG, IFCH, CLE

Walter A. Carnielli

Grupo de Lógica Teórica e Aplicada (GLTA)

TrendsXVI

Alfred Tarski: Lectures at Unicamp in 1975 Leandro Suguitani, Jorge Petrucio Viana, Itala M. Loffredo D’Ottaviano TrendsXVI	Volutionary Foundational Visions. Paradox, Provability, Truth and Computability Frode Bjordal TrendsXVI	Superficially and deeply contingent a priori truths Marco Ruffino TrendsXVI	A Fraissé theorem for LFIs Bruno Mendonça TrendsXVI
Cuts and cut-elimination for complementary classical logic Walter Carnielli, Gabriele Pulcini TrendsXVI	A local-global principle for the real continuum Olivier Rioul, José C. Magossi TrendsXVI	The logicality of Frege’s definition of real numbers Marco Panza TrendsXVI	A new algebraic semantics for First-Order Logic built with polynomials Walter Carnielli, Hugo Mariano, Mariana Matulovic TrendsXVI
Consistency and inconsistency in probability theory Daniele Mundici TrendsXVI	Quantitative logic reasoning Marcelo Finger TrendsXVI	A Paraconsistent non Monotonic frame to analyze explanation-context interaction:towards an answer to philosophy of science’s challenge David Gaytán, Raymundo Morado, Itala D'Ottaviano TrendsXVI	Paraconsistent logic and contradiction Jean-Yves Béziau TrendsXVI
Studia Logica -past, present and future Jacek Malinowski TrendsXVI	Entanglement vs. Contradictions, or why neither Schrödinger’s cat is simultaneously alive and dead, nor a particle can be in two different places at once Décio Krause TrendsXVI

Vídeo do Projeto "Registros Matemáticos"

Prof. Rubens G. Lintz - CLE - 2011

lintz, matemática, história da matemática, análise, cle, unicamp, mcmaster, canada, brasil, intelectual brasileiro, filosofia da história

Prof. Dr. Rubens Lintz (McMaster University - Canadá)

Vídeo do Projeto "Registros Matemáticos"

Vídeos