MATHEMATICAL LOGIC in Vietnamese translation

Wittgenstein, who visited Frege in 1914, attempted to continue Frege's project in an attempt to develop an"ideal language" modelled on Frege's mathematical logic, excluding as meaningless what could not be expressed"logically" in this way.

Wittgenstein, người từng gặp Frege năm 1914, nỗ lực tiếp tục những dự phóng của Frege bằng cách triển khai'' ngôn ngữ lý tưởng'' theo mô hình lôgic toán học của Frege, và loại bỏ những cái vô nghĩa không được thể hiện một cách lôgic theo phương pháp này.

In mathematical logic, the Peano axioms,

Trong logic toán học, các tiên đề Peano,

He never published the projected third volume of the Grundgesetze, and he took no part in the development of the subject, mathematical logic, that he had founded, though it had

Ông không bao giờ xuất bản quyển thứ 3 của bộ Những luật cơ bản, và ông không có vai trò gì trong việc triển khai vấn đề lôgic toán học mà ông đã làm ra,

had collaborated with Hilbert in mathematical logic, and co-authored with him the important book Grundlagen der Mathematik(which eventually appeared in two volumes, in 1934 and 1939).

đã hợp tác với Hilbert trong logic toán học, và là đồng tác giả với ông cuốn sách quan trọng Grundlagen der Mathematik( mà cuối cùng xuất hiện trong hai tập xuất bản năm 1934 và 1939).

FOL is now a core formalism of mathematical logic, and is presupposed by contemporary treatments of Peano arithmetic and nearly all treatments of axiomatic set theory.

FOL hiện là một chủ nghĩa hình thức cốt lõi của logic toán học, và được đoán trước bởi các phương pháp điều trị đương đại của số học Peano và gần như tất cả các phương pháp điều trị của lý thuyết tập hợp tiên đề.

of Frege's 1879 Begriffsschrift, which is followed by 45 historically important short pieces on mathematical logic and axiomatic set theory, originally published between 1889 and 1931.

tiếp theo là 45 mảnh ngắn lịch sử quan trọng về logic toán học và lý thuyết tập hợp tiên đề, ban đầu được công bố giữa năm 1889 và 1931.

Hofstadter combines the mathematical logic of Kurt Gödel, who proved that some questions in arithmetic can never be answered,

Hofstadter kết hợp những logic toán học của Kurt Godel- người chứng minh được rằng một vài bài toán số

is a branch of mathematical logic, of computer science, and of the theory of computation

là một nhánh của logic toán học, của khoa học máy tính

a branch of mathematical logic, two fields E

một nhánh của logic toán, hai trường E

known as structural induction, is used in mathematical logic and computer science.

được sử dụng trong logic toán và khoa học máy tính.

of course, that he was an authority on these subjects, but that he had, in his younger days, written abstruse things on mathematical logic and the philosophy of mathematics.

vì thời trẻ ông đã viết ra những thứ khó hiểu về logic toán và triết lý của toán học.

geometry, measure theory, mathematical logic, set theory, and analytic philosophy.

lý thuyết độ đo, logic toán, lý thuyết tập hợp và triết học phân tích.

At work, my hobby is interesting, creative projects and projects that need the combination of programming skills and mathematical logic(I have worked on several educational/ mathematical projects).

Trong công việc, sở thích của tôi là các dự án thú vị, sáng tạo, điểm mạnh của tôi là các dự án cần kết hợp kỹ năng lập trình và tư duy logic toán( tôi đã từng làm một số dự án về phần mềm giáo dục và phần mềm toán)..

he also studied philosophy, but he found mathematical logic more interesting than traditional logic..

lại thấy logic toán thú vị hơn logic truyền thống.

applications- pure mathematical logic, applications of logic in(and logical foundations of)

ứng dụng của nó- logic toán học thuần túy, ứng dụng logic trong(

The study of mathematical logic led directly to Alan Turing's theory of computation, which suggested that a machine, by shuffling symbols as simple as"0" and"1",

Nghiên cứu về logic toán học đã dẫn trực tiếp đến lý thuyết tính toán của Alan Turing, người chotoán học nào có thể hiểu được.">

our next two lectures, is inspired by mathematical logic, and could never have been imagined without it.

đã khởi hứng bởi lôgích toán học, và không bao giờ có thể đã tưởng tượng được mà không có nó.

with teaching good argument, and is still taught with that end today, while in mathematical logic and analytical philosophy much greater emphasis is placed on logic as an object of study in its own right, and so logic is

ngày nay vẫn được dạy với mục đích đó, trong khi trong logic toán học và triết học phân tích( analytical philosophy) người ta nhấn mạnh vào logic như là một đối tượng nghiên cứu riêng,

Mathematical logic really refers to two distinct areas of research: the first is the application of

Logic toán học thực sự nói về hai lãnh vực nghiên cứu khác nhau:

Hilbert's work had started logic on this course of clarification; the need to understand Gödel's work then led to the development of recursion theory and then mathematical logic as an autonomous discipline in the 1930s.

Công trình của Hilbert đã khởi đầu cho logic trên hướng đi làm rõ này; sự cần thiết hiểu rõ công trình của Gödel sau này dẫn đến sự phát triển của lý thuyết đệ quy và sau đó là logic toán học như là một ngành độc lập trong thập kỉ 1930- 1940.