Глагол Частотностьtop-25k+CEFR C2

gödelisieren

[ˈɡøːdəlˌiːzən]

По слогам gö|de|li|sie|ren

◆ Грамматический конструктор

Управление

etwas gödelisieren A— подвергать гёделизации (применять логику Гёделя)

„Der Mathematiker versucht, das System zu gödelisieren."

§ Грамматика

Основные формы · правильный

Infinitiv

gödelisieren

Präteritum

gödelisierte

Partizip II

hat gödelisiert

§Значения

применять теоремы Гёделя

Einen Sachverhalt oder ein System so beschreiben, dass es die Unvollständigkeit oder die Grenzen der logischen Beweisbarkeit aufzeigt.

Описывать систему так, чтобы показать её внутреннюю неполноту.

терминологическое

Der Mathematiker gödelisierte die komplexe Formelsprache.

— Математик применил метод Гёделя к сложному языку формул.
Man kann dieses System nicht einfach gödelisieren.

— Эту систему нельзя просто подвергнуть гёделизации.

Синонимы

formalisieren·kodieren·arithmetisieren

демонстрировать логическую неполноту

In einem mathematischen oder logischen Kontext eine Methode anwenden, um die Grenzen der formalen Logik zu demonstrieren.

Использовать методы Гёделя для выявления границ формальной логики.

терминологическое

Sie hat versucht, die Grenzen der KI zu gödelisieren.

— Она пыталась продемонстрировать логическую неполноту ИИ.

§ Спряжение — полные таблицы

Präsens презенс

ich	gödelisiere
du	gödelisierst
er/sie/es	gödelisiert
wir	gödelisieren
ihr	gödelisiert
sie/Sie	gödelisieren

Präteritum претеритум

ich	gödelisierte
du	gödelisiertest
er/sie/es	gödelisierte
wir	gödelisierten
ihr	gödelisiertet
sie/Sie	gödelisierten

Imperativ императив

—
gödelisiere	(du)
—
gödelisieren	wir
gödelisiert	(ihr)
gödelisieren	Sie

Konjunktiv I конъюнктив I

ich	gödelisiere
du	gödelisierest
er/sie/es	gödelisiere
wir	gödelisieren
ihr	gödelisieret
sie/Sie	gödelisieren

Konjunktiv II конъюнктив II

ich	gödelisierte
du	gödelisiertest
er/sie/es	gödelisierte
wir	gödelisierten
ihr	gödelisiertet
sie/Sie	gödelisierten

Partizip партицип

gödelisierend	Präsens
gödelisiert	Perfekt

Infinitiv инфинитив

gödelisieren

zu gödelisieren

§Однокоренные

Gödel

Гёдель (математик)

Unvollständigkeitssatz

теорема о неполноте

§Связанные слова

Logik·Mathematik·Beweisbarkeit·Metamathematik