Konferenzen  >  Mathematik  >  Computer-gestütztes Beweisen

Wählen Sie ein Land aus
ALLE LÄNDER (5)
1
Machine Assisted Proofs
13. Feb 2023 - 17. Feb 2023 • Los Angeles, CA, Vereinigte Staaten
Veranstalter:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Zusammenfassung:
A number of core technologies in computer science are based on formal methods, that is, a body of methods and algorithms that are designed to act on formal languages and formal representations of knowledge. Such methods include interactive proof assistants, automated reasoning systems (including first-order theorem provers and satisfiability solvers), computer algebra systems, and knowledge representation and database systems. Methods based on machine learning have also led to the discovery of new mathematical results. The goal of this workshop is to bring mathematicians and computer scientists together to explore potential applications of these technologies to the domain of pure mathematics, building upon the exciting recent developments in this subject.
Eintrags-ID:
1501631
2
Type Theory, Constructive Mathematics and Geometric Logic
01. Mai 2023 - 05. Mai 2023 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Zusammenfassung:
The debate between Hilbert and Brouwer, which took place at the beginning of the 20th century, is without doubt one of the most important events in the history of foundations of mathematics. In that debate Brouwer rejected transcendent proof methods and insisted on the exclusive use of intuitionist (or constructive) arguments for a conceptually correct development of mathematics. Hilbert, on the contrary, viewed these transcendental and non-effective proofs as the very essence of mathematical thinking. He introduced proof theory in the hope to justify these transcendent methods by purely effective means. While Gödel’s second incompleteness theorem is generally said to contravene Hilbert’s hopes, it is remarkable that Gödel himself insisted on the fact that his result does not contradict at all Hilbert’s program. In fact, the impact of Gödel’s result on Hilbert’s program was the topic of a discussion between Gödel, Herbrand and Neumann about the fundamental question of the scope of constructive mathematics. Recent results in different fields of mathematics, such as proof theory, type theory, constructive algebra and categorical logic, shed new light on this question. For instance, proof theory seems to indicate precise limits to intuitionistic type theory, while on the other hand the Univalence Axiomallows for a rather unexpected extension of constructive methods. The goal of this workshop is precisely to bring together experts in these different fields to evaluate the impact of those new results on foundations of mathematics.
Eintrags-ID:
1503048
3
AIM Workshop: Computer assisted proofs for stability analysis of nonlinear waves
05. Jun 2023 - 09. Jun 2023 • San Jose, Kalifornien, Vereinigte Staaten
Veranstalter:
American Institute of Mathematics (AIM)
Zusammenfassung:
This workshop, sponsored by AIM and the NSF, will be devoted to solving open problems regarding the stability of nonlinear waves using computer assisted methods of proof. Some results using computer assisted methods of proof include Hilbert's 18th problem and Smale's 14th problem. Researchers have developed efficient methods for obtaining rigorous error bounds for numerical approximations of heteroclinic and homoclinic connections between fixed points in ODE systems. These rigorous computation methods establish the existence and uniqueness of the solution in addition to providing a tight, completely rigorous error bound. Thus, these rigorous computations can be used to prove Theorems. Similarly, researchers have developed efficient and robust numerical methods for computing quantities that relay information about the spectral stability of one-dimensional traveling wave solutions to PDEs, which in turn yields information regarding the nonlinear stability. This workshop will help researchers identify collaborative opportunities to use rigorous computation to prove theorems regarding open problems in nonlinear wave theory.
Themen:
Computer assisted proofs for stability analysis of nonlinear waves. Stability of multi-dimensional non-planar traveling waves. Rigorous computation of center manifolds
Eintrags-ID:
1515107
Verwandte Fachgebiete:
4
Summer Graduate School — Formalization of Mathematics
05. Jun 2023 - 16. Jun 2023 • MSRI, Berkeley, CA, Vereinigte Staaten
Veranstalter:
Mathematical Sciences Research Institute (MSRI)
Zusammenfassung:
Computational proof assistants now make it possible to develop global, digital mathematical libraries with theorems that are fully checked by computer. This summer school will introduce students to the new technology and the ideas behind it, and will encourage them to think about the goals and benefits of formalized mathematics. Students will learn to use the Lean interactive proof assistant, and by the end of the session they will be in a position to formalize mathematics on their own, join the Lean community, and contribute to its mathematical library.
Eintrags-ID:
1515630
5
Mathematical Logic: Proof Theory, Constructive Mathematics
12. Nov 2023 - 18. Nov 2023 • Oberwolfach, Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1495221


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 29. September 2022