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

A Matematica que pode ser descritaem linguagem de predicados: A perspectiva da Teoria de Modelos

Prof. Dr. Marcelo E. Coniglio

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

Probabilidade em Popper vs Kolmogorov

Juliana Bueno-Soler

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

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

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

2NDCLE4SCIENCE

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

A local-global principle for the real continuum Olivier Rioul, José C. Magossi TrendsXVI	A Fraissé theorem for LFIs Bruno Mendonça TrendsXVI	Superficially and deeply contingent a priori truths Marco Ruffino TrendsXVI	Studia Logica -past, present and future Jacek Malinowski TrendsXVI
Cuts and cut-elimination for complementary classical logic Walter Carnielli, Gabriele Pulcini 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	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	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	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
Quantitative logic reasoning Marcelo Finger TrendsXVI	Paraconsistent logic and contradiction Jean-Yves Béziau 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