http://rim.math.snu.ac.kr/board/files/attach/images/701/ff97c54e6e21a4ae39315f9a12b27314.png
Video
Home
✔ 뷰어로 보기

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.

Atachment
첨부 '1'

  1. It all started with Moser

    We survey work on a class of nonlinear elliptic PDEs that was initiated by Moser. Methods from PDE, dynamical systems, and geometry set in the framework of the calculus of variations are used to construct a rich collection of solutions.
    Category수학강연회 소속Univ. of Wisconsin/포항공대 강연자Paul Rabinowitz
    Read More

  2. On some nonlinear elliptic problems

    On some nonlinear elliptic problems
    Category수학강연회 소속Paul Sabatier University, Toulouse 강연자Yuri Egorov
    Read More

  3. Topology and number theory

    We will review a number of topological themes in number theory, starting with homology and ending with a discussion arithmetic homotopy.
    Category수학강연회 소속Univ. College London/포항공대 강연자김민형
    Read More

  4. Conservation laws and differential geometry

    A fundamental problem in differential geometry is to characterize intrinsic metrics on a two-dimensional Riemannian manifold M2 which can be realized as isometric immersions into R3. This problem can be formulated as initial and/or boundary ...
    Category수학강연회 소속Univ. of Wisconsin 강연자Marshall Slemrod
    Read More

  5. 학부학생을 위한 강연회: 기하학과 우주론

    우리의 직관에 의하면 우주는 4차원으로 이루어져있다. 달리 말하면 우리가 어떤 사건을 기술 할 때 네 개의 숫자(공간3 + 시간1) 이면 충분하다는 것 이다. 세상에 다른 여분의 차원이 더 있다고 가정 여러 물리 법칙을 통일적으로 기술할 수 있음이 알려졌다...
    Category수학강연회 소속홍익대학교 강연자이남훈
    Read More

  6. 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수학강연회 소속연세대학교 강연자기하서
    Read More

  7. Counting circles in Apollonian circle packings and beyond

    Counting circles in Apollonian circle packings and beyond
    Category수학강연회 소속Brown Univ. 강연자오희
    Read More

  8. Sheaf quantization of Hamiltonian isotopies and non-displacability problems

    Sheaf quantization of Hamiltonian isotopies and non-displacability problems
    Category수학강연회 소속Kyoto Univ./서울대학교 강연자Masaki Kashiwara
    Read More

  9. 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 강연자현동훈
    Read More

  10. 학부생을 위한 강연: Introduction to partial differential equations

    We discuss on why we study partial differential equations.
    Category수학강연회 소속서울대학교 강연자변순식
    Read More

  11. Symmetry Breaking in Quasi-1D Coulomb Systems

    Symmetry Breaking in Quasi-1D Coulomb Systems
    Category수학강연회 소속서강대학교 강연자Paul Jung
    Read More

  12. Partial differential equations with applications to biology

    Partial differential equations with applications to biology
    Category수학강연회 소속POSTECH 강연자황형주
    Read More

  13. 학부생을 위한 강연: A COMBINATORIAL FORMULA FOR INFORMATION FLOW IN A NETWORK

    A COMBINATORIAL FORMULA FOR INFORMATION FLOW IN A NETWORK
    Category수학강연회 소속Univ. of Rhode Island/서울대학교 강연자국웅
    Read More

  14. 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수학강연회 소속서울대학교 강연자강남규
    Read More

  15. 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 강연자오용근
    Read More

  16. 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수학강연회 소속부산대학교 강연자이용훈
    Read More

  17. Seoul ICM 2014 유치과정 개요 및 준비전략

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

  18. 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수학강연회 소속서강대학교 강연자이종범
    Read More

  19. 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수학강연회 소속경북대학교 강연자정주희
    Read More

  20. Contact Homology and Constructions of Contact Manifolds

    .
    Category수학강연회 소속서울대 강연자Otto van Koert
    Read More
쓰기
Board Pagination Prev 1 ... 5 6 7 8 9 10 11 12 13 14 15 16 Next
/ 16
연구
Department of Mathematical Sciences, Seoul National University GwanAkRo 1, Gwanak-Gu, Seoul 151-747, Korea
TEL 02-880-5857,6530,6531 / FAX 02-887-4694