"mathematical logic"辞典での英語の意味

英語でMATHEMATICAL LOGICの発音

mathematical logic

英語でMATHEMATICAL LOGICはどんな意味ですか？

数学的論理

Mathematical logic

数学論理は、正式論理の数学への応用を探求する数学のサブフィールドです。 局所的には、数学的論理は、メタマテリアル、数学の基礎、理論的コンピュータ科学と密接に関連しています。 数学論理の統一テーマには、正式なシステムの表現力と正式な証明システムの演繹力の研究が含まれます。 数理論理は、集合理論、モデル理論、再帰理論、証明理論の分野に分類されることが多い。 これらの領域は、論理、特に一次論理、および定義可能性に関する基本的な結果を共有します。 コンピュータサイエンスでは、数学的論理にはこの記事で詳しく述べられていない追加トピックが含まれています。 それらについてはコンピュータ科学の論理を参照してください。 創業以来、数学的論理は数学の基礎の研究に貢献しており、動機づけられてきた。 この研究は、幾何学、算術、および分析のための公理的枠組みの開発とともに、19世紀後半に始まりました。 20世紀初めには、デビッドヒルベルトのプログラムによって、基礎理論の一貫性を証明する形になっていました。

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Topically, mathematical logic bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science mathematical logic encompasses additional topics not detailed in this article; see Logic in computer science for those. Since its inception, mathematical logic has both contributed to, and has been motivated by, the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and analysis. In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories.

英語辞典でのmathematical logicの定義

辞書中の数学論理の定義は、記号論理であり、その分岐は数学の基礎に関係している。

MATHEMATICAL LOGICの翻訳

当社の英語多言語翻訳者が翻訳した25ヵ国語のmathematical logicを探してみましょう。

自動統計翻訳によって、このセクションで示されている英語から他の言語へのmathematical logicの翻訳を訳しました。この場合は、必須の翻訳単位は英語で«mathematical logic»という単語です。

• 英語翻訳家 - 中国語: 数理逻辑
• 英語翻訳家 - スペイン語: lógica matemática
• 英語: mathematical logic
• 英語翻訳家 - ヒンディー語: गणितीय तर्क
• 英語翻訳家 - アラビア語: المنطق الرياضي
• 英語翻訳家 - ロシア語: математическая логика
• 英語翻訳家 - ポルトガル語: lógica matemática
• 英語翻訳家 - ベンガル語: গাণিতিক যুক্তিবিজ্ঞান
• 英語翻訳家 - フランス語: la logique mathématique
• 英語翻訳家 - マレー語: Logik matematik
• 英語翻訳家 - ドイツ語: mathematischen Logik
• 英語翻訳家 - 日本語: 数理論理学
• 英語翻訳家 - 韓国語: 수학 논리
• 英語翻訳家 - ジャワ語: Logika matematika
• 英語翻訳家 - ベトナム語: logic toán học
• 英語翻訳家 - タミル語: கணித தர்க்கம்
• 英語翻訳家 - マラーティー語: गणिती तर्कशास्त्र
• 英語翻訳家 - トルコ語: Matematiksel mantık
• 英語翻訳家 - イタリア語: logica matematica
• 英語翻訳家 - ポーランド語: logika matematyczna
• 英語翻訳家 - ウクライナ語: математична логіка
• 英語翻訳家 - ルーマニア語: logică matematică
• 英語翻訳家 - ギリシャ語: μαθηματικής λογικής
• 英語翻訳家 - アフリカーンス語: wiskundige logika
• 英語翻訳家 - スウェーデン語: matematisk logik
• 英語翻訳家 - ノルウェー語: matematisk logikk

英語での«MATHEMATICAL LOGIC»の引用

mathematical logicという言葉で有名な引用文や文章

1

Anish Kapoor

Much of what I make is geometric, and has a kind of almost mathematical logic to the form.

2

Stephen Cole Kleene

Here at Wisconsin we didn't get an undergraduate course in mathematical logic until the '60s.

3

Hilary Putnam

I think part of the appeal of mathematical logic is that the formulas look mysterious - You write backward Es!

«MATHEMATICAL LOGIC»に関連する英語の本

以下の図書目録からmathematical logicの使いかたを見つけましょう。mathematical logicに関する本と英語文献で使われた文脈を提供するための簡単な抜粋文。

Introduction to Mathematical Logic, Fourth Edition

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic.

Elliott Mendelson, 1997

Mathematical Logic

The book starts with a thorough treatment of first-order logic and its role in the foundations of mathematics.

H.-D. Ebbinghaus, 1994

From Frege to Gödel: A Source Book in Mathematical Logic, ...

Gathered together in this book are the fundamental texts of the great classical period in modern logic.

Jean Van Heijenoort, 1977

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science.

Mordechai Ben-Ari, 2012

Foundations of Mathematical Logic

Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus.

Haskell Brooks Curry, 1963

A Course in Mathematical Logic

This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including the independence of the continuum hypothesis, the Diophantine ...

‎1977

Handbook of Mathematical Logic

Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.

J. Barwise, 1982

An Introduction to Mathematical Logic and Type Theory

In case you are considering to adopt this book for courses with over 50 students, please contact [e-mail] for more information.

Peter B. Andrews, 2002

Mathematical Logic

With its user-friendly approach, this book successfully equips readers with the key concepts and methods for formulating valid mathematical arguments that can be used to uncover truths across diverse areas of study such as mathematics, ...

George Tourlakis, 2011

Fundamentals of mathematical logic

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and G del's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) ...

Peter G. Hinman, 2005

用語«MATHEMATICAL LOGIC»を含むニュース項目

国内外の報道機関が語った内容や、次のニュース項目の文脈からmathematical logicという用語がどのように使われているかを調べてみましょう。

Review: 'Genius at Play: The Curious Mind of John Horton Conway'

He has made “distinguished contributions to the theory of finite groups, to the theory of knots, to mathematical logic (both set theory and ... «Buffalo News, 7月 15»

The delights of encountering the original manuscript for “Alice in …

... riddles, puzzles, and logic games, partly to practice his lessons in mathematical logic, which he taught at Christ Church, Oxford, for 26 years. «Quartz, 7月 15»

You Still Cannot Be Moral Without God

Whatever evils were avoided were avoided passively: my education (all that mathematical logic) guarded me from vice. I behaved morally, but ... «Patheos, 7月 15»

How Many Different Smells Can The Human Nose Actually Detect?

Rather, the researchers' interpretation of their data — and the massive figure they came to —seem to be the result of flawed mathematical logic. «Gizmodo, 7月 15»

City's tribute to computer genius George Boole to mark 200th …

"His development of mathematical logic was revolutionary for the subject, and particularly to algebra, which is one of the key focuses of our ... «Lincolnshire Echo, 7月 15»

The Observer view on reforms to teacher training

Mathematical logic and reason lie at the heart of some of humanity's greatest achievements. Without it, there would be no progress and no ... «The Guardian, 7月 15»

An Illicit Tour Of The New Vikings Stadium

The angles of its half-built roof seem to defy mathematical logic, and traversing its unfinished concourses and upper levels is like walking ... «Deadspin, 6月 15»

Facebook Shares Homegrown Mobile Code Testing Tool

... engineers who developed it have been involved in groundbreaking highly theoretical computer science and brand-new mathematical logic. «ADT Magazine, 6月 15»

Guardian Shorts: Science that Changed the World by Tim Radford …

... released by the publication of the two papers in 1965 drove research in a number of unexpected directions: theorists used mathematical logic ... «The Guardian, 6月 15»

Stanford computer processor uses moving water drops

Despite not intending to replace traditional computers, the water PC can reproduce mathematical logic operations. The computer is constructed ... «SlashGear, 6月 15»