FP4Индивидуална стипендия1998–2000

Randomness in proof theory, model theory, and computation

4РП — Обучение и мобилност на изследователи

Период: 1998-07-01 → 2000-06-30
Финансиране от ЕС: —
Участници: 1
Схема: RGI

Линиите свързват координатора с партньорите.

Накратко на български

Случайността в теорията на доказателствата, моделите и изчисленията анализира как се проявява непредвидимостта в математическата логика. Това помага за развитието на по-добри методи за автоматизирано доказване и компютърни изчисления.

Този кратък обзор е генериран от изкуствен интелект

Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.

Цел на проекта

Research objectives and content The main objective of the application is to enable the applicant to connect his research with other areas, in cooperation with researchers from M|nchen. The previous research of the applicant was concerned with randomness in computability theory and with learning theory. In addition to a continuation of part of this research, new research is sought in the direction of model theory and proof theory. Training content (objective, benefit and expected impact) The LMU in M|nchen constitutes an excellent training environment for the applicant, in particular when seen in light of his plans to learn more proof theory. Links with industry / industrial relevance (22) The Formal Methods Group of Corporate Research of Siemens AG participates in the Graduiertenkolleg 'Logik in der Informatik'. In this context, one of Schwichtenbergs doctoral students (Monika Maidl) is supported by a grant form Siemens. Beginning next May another student of Schwichtenberg (Holger Benl) will begin working on a PhD project in cooperation with BMW.

Оригинален текст от CORDIS (на английски).

Участници

LUDWIG-MAXIMILIANS UNIVERSITY OF MUNICH · MUENCHENКоординаторГермания

Връзки

Виж в CORDIS