What is the translation of " PROOF THEORY " in Bulgarian?

• теория на доказателствата
• теорията на доказателствата
• теория на доказателството

Examples of using Proof theory in English and their translations into Bulgarian

Intuitionism and Proof Theory.
Intuitionism и доказателство теория.

He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.
Той прави и съществени приноси в теорията на доказателствата, изяснявайки връзките между класическата, съждителна и модална логика.

I shall now present the fundamental idea of my proof theory.
Сега ще ви представя същината на моята теория.

In these areas, recursion theory overlaps with proof theory and effective descriptive set theory..
В тези области рекурсивната теория се пресича с теория на доказателството и ефективната дескриптивна теория на множествата.

It would be fair to say that Post's thesis marks the beginning of proof theory.
Би било справедливо да се каже, че Публикуване на тезата маркира началото на доказване теория.

He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.
Той също внесъл важен принос в теорията на доказателствата с уточняване на връзките между класическата логика, интуиционистката логика и модалната логика.

They are the model theory of truth and the proof theory of truth.
Те са теория на моделите и теория на доказателствата.

Modern proof theory, and likewise the modern theory of machine computation, hinge on the concept of the recursive function.
Съвременната теория на доказателствата, и по същия начин съвременната теория на машината изчисляване, панти на концепцията на recursive функция.

Gödel's incompleteness theorem marks not only a milestone in recursion theory and proof theory, but has also led to Löb's theorem in modal logic.
Например теоремата за непълнотата на Гьодел играе важна роля не само в теорията на доказателствата, а и в модалната логика.

Thus a mathematical theory whose consistency one wishes to prove becomes an object of study in a mathematical science which Hilbert called metamathematics, or proof theory.
Така математическата теория, чиято последователност искаме да докажем, става предмет на изследване на определена математическа наука, която Давид Хилбърт нарича метаматематика или теорията на доказателствата.

Mathematical logic, which divides into recursion theory, model theory, and proof theory, is now closely linked to computer science.
Съвременната математическа логика се подразделя на теория на рекурсията, теория на моделите и теория на доказателствата и е тясно свързана с теоретичната информатика.

The study of interpretation of formal systems is the branch of mathematical logic known as model theory, while the study of deductive apparatus is the branch known as proof theory.
Изследването на интерпретацията на формалните системи е клон на математическата логика, известна като теория на моделите, докато изследването на дедуктивния апарат а клон, известен като теория на доказателството.

Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.
Съвременната математическа логика се подразделя на теория на рекурсията, теория на моделите и теория на доказателствата и е тясно свързана с теоретичната информатика.

The study of interpretation of formal systems is the branch of mathematical logic that is known as model theory, and the study of deductive systems is the branch that is known as proof theory.
Изследването на интерпретацията на формалните системи е клон на математическата логика, известна като теория на моделите, докато изследването на дедуктивния апарат а клон, известен като теория на доказателството.

It represented for him a synthesis of his early interest in logic and proof theory and his later work, during World War II and after, on large scale electronic computers.
Тя представлява за него синтеза на неговия интерес в началото на логика и доказателства, теория и работата му по-късно, по време на Втората световна война и след като, от голям мащаб електронни компютри.

In 1934 and 1939 two volumes of Grundlagen der Mathematik were published which were intended to lead to a'proof theory', a direct check for the consistency of mathematics.
През 1934 и 1939 два тома на Grundlagen дер Mathematik бяха публикувани, които са били предназначени да доведе до"Теория на доказателствата", директна проверка за съответствието на математиката.

Metamathematics, introduced by Hilbert in 1922 meaning"proof theory" as a part of his programme to establish the consistency of arithmetic, was transformed by Tarski when he introduced semantic methods leading to his development of model theory with its combination of semantic and syntactic relations.
Metamathematics, въведена с Хилберт през 1922 смисъла"доказателство теория", като част от неговата програма за установяване на съответствието на аритметиката, бе променена от Tarski, когато той въведе семантично методи, водещи до неговата теория развитието на модела с комбинация от семантични и синтактични отношения.

Through his own contributions(individual and collaborative) and his extraordinary personal influence, Georg Kreisel did perhaps more than anyone else to promote the development of proof theory and the metamathematics of constructivity in the last forty years.
Чрез собствените си вноски(индивидуални и съвместни) и неговата лична извънредно влияние, Георг Kreisel не би повече от всеки друг да насърчават развитието на теорията и доказателство за metamathematics на constructivity през последните четиресет години.

Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science, as well as to category theory..
Съвременната математическа логика се подразделя на теория на рекурсията, теория на моделите и теория на доказателствата и е тясно свързана с теоретичната информатика.

The theory of automata provided him a convenient synthesis of his early efforts in logic and proof theory and his more recent efforts(during and after World War II) on large-scale electronic computers.
Тя представлява за него синтеза на неговия интерес в началото на логика и доказателства, теория и работата му по-късно, по време на Втората световна война и след като, от голям мащаб електронни компютри.

Every theory needs proof.
Всяка теория се нуждае от доказателство.

But proof of this theory has been scant.
Но доказателствата за тази теория са оскъдни.

Need further proof of this theory?
Дали ще бъдат намерени още доказателства за тази теза?

Do you have any proof of this theory, detective?
Имате ли някакво доказателство на тази теория, детектив?

Let it be forensic proof that their theory is wrong.
Това ще е съдебно доказателство, че тяхната теория е грешна.

It doesn't matter whether we have proof of our theory or not.
Няма значение дали имаме доказателство за теорията си или не.

And as a reward, I will give you proof of my theory.
Като бонус, ще ви дам доказателство за своята теория.

And this is exactly where the researchers see the proof for their theory.
И именно тук изследователите виждат доказателство за своята теория.

So, it was the first empirical proof of the theory of relativity.".
Така че това е първото емпирично доказателство за теорията на относителността.

Everywhere we went he was looking for proof that this theory works.
Търсехме потвърждение за тази теория навсякъде.