# Structures of Formal Proofs

Extra Form
강연자 정주희
소속 경북대학교
date 2009-10-08

Fitch is a formal proof system recently gaining momentum in logic education due to its structural similarity to human reasoning. We introduce Fitch via its web-implementation at http://www.proofmood.com. Then we compare Fitch with more well-known proof systems such as Hilbert System, Natural Deduction and Sequent Calculus. Similarities and differencies among these systems are discussed.

 제목+내용제목내용댓글이름닉네임태그
1. ### Zeros of linear combinations of zeta functions

We will introduce the behavior of zeros of linear combinations of zeta functions. Those linear combinations are related to the Riemann zeta function, the Eisenstein series, Periods, etc.
Category수학강연회 소속연세대학교 강연자기하서
2. ### Counting circles in Apollonian circle packings and beyond

Counting circles in Apollonian circle packings and beyond
Category수학강연회 소속Brown Univ. 강연자오희
3. ### Sheaf quantization of Hamiltonian isotopies and non-displacability problems

Sheaf quantization of Hamiltonian isotopies and non-displacability problems
Category수학강연회 소속Kyoto Univ./서울대학교 강연자Masaki Kashiwara
4. ### Limit computations in algebraic geometry and their complexity

Given a one-parameter family of algebraic varieties, its point-wise limit is usually too small whereas its algebraic limit is usually too big. I will introduce a notion of meaningful geometric limit and explain how it can be effectively comp...
Category수학강연회 소속POSTECH 강연자현동훈
5. ### 학부생을 위한 강연: Introduction to partial differential equations

We discuss on why we study partial differential equations.
Category수학강연회 소속서울대학교 강연자변순식
6. ### Symmetry Breaking in Quasi-1D Coulomb Systems

Symmetry Breaking in Quasi-1D Coulomb Systems
Category수학강연회 소속서강대학교 강연자Paul Jung
7. ### Partial differential equations with applications to biology

Partial differential equations with applications to biology
Category수학강연회 소속POSTECH 강연자황형주
8. ### 학부생을 위한 강연: A COMBINATORIAL FORMULA FOR INFORMATION FLOW IN A NETWORK

A COMBINATORIAL FORMULA FOR INFORMATION FLOW IN A NETWORK
Category수학강연회 소속Univ. of Rhode Island/서울대학교 강연자국웅
9. ### Gaussian free field and conformal field theory

Ward's identities and the related concept of the stress-energy tensor are standard tools in conformal field theory. I will present a mathematical overview of these concepts and outline relations between conformal field theory and Schramm-Loe...
Category수학강연회 소속서울대학교 강연자강남규
10. ### Hamiltonian dynamics, Floer theory and symplectic topology

In this lecture, I will convey subtle interplay between dynamics of Hamiltonian flows and La-grangian intersection theory via the analytic theory of Floer homology in symplectic geometry. I will explain how Floer homology theory (`closed str...
Category수학강연회 소속University of Wisconsin 강연자오용근
11. ### Global result for multiple positive radial solutions of p-Laplacian system on exterior domain

Global result for multiple positive radial solutions of p-Laplacian system on exterior domain In this talk, we consider p-Laplacian systems with singular indefinite weights. Exploiting Amann type three solutions theorem for the singular syst...
Category수학강연회 소속부산대학교 강연자이용훈
12. ### Seoul ICM 2014 유치과정 개요 및 준비전략

국제수학자대회(ICM, International Congress of Mathematicians)는 1897년 쮜리히에서 처음 개최되었고, 매 4년마다 개최된다. 100여국 4천여 명 정도의 규모로 9일 동안 계속된다. 우리시대 최고의 수학자들이 참여하며, 필즈상(Fields Medal)을 개막식에서 ...
Category수학강연회 소속포항공과대학교 강연자박형주
13. ### Averaging formula for Nielsen numbers

We will show that the averaging formula for Nielsen numbers holds for continuous maps on infra-nilmanifolds: Let M be an infra-nilmanifold with a holonomy group Phi and f : M -> M be a continuous map. Then N(f ) = 1/| Phi | Sum_{A in Phi} | ...
Category수학강연회 소속서강대학교 강연자이종범
14. ### Structures of Formal Proofs

Fitch is a formal proof system recently gaining momentum in logic education due to its structural similarity to human reasoning. We introduce Fitch via its web-implementation at http://www.proofmood.com. Then we compare Fitch with more well-...
Category수학강연회 소속경북대학교 강연자정주희
15. ### Contact Homology and Constructions of Contact Manifolds

.
Category수학강연회 소속서울대 강연자Otto van Koert