| 강연자 | 정주희 |
|---|---|
| 소속 | 경북대학교 |
| 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.
Sheaf quantization of Hamiltonian isotopies and non-displacability problems
Solver friendly finite element methods
Space.Time.Noise
Spectral Analysis for the Anomalous Localized Resonance by Plasmonic Structures
Structural stability of meandering-hyperbolic group actions
Structures of Formal Proofs
Study stochastic biochemical systems via their underlying network structures
Subgroups of Mapping Class Groups
Subword complexity, expansion of real numbers and irrationality exponents
Sums of squares in quadratic number rings
Symmetry Breaking in Quasi-1D Coulomb Systems
Symplectic Geometry, Mirror symmetry and Holomorphic Curves
Symplectic topology and mirror symmetry of partial flag manifolds
The classification of fusion categories and operator algebras
The Lagrange and Markov Spectra of Pythagorean triples
The Mathematics of the Bose Gas and its Condensation
The phase retrieval problem
The process of mathematical modelling for complex and stochastic biological systems
The Shape of Data
The significance of dimensions in mathematics
