ورود به حساب کاربری

خرید کتاب Truth, Proof and Infinity

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Truth, Proof and Infinity

Truth, Proof and Infinity

Truth, Proof and Infinity
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

A Theory of Constructive Reasoning

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Truth, Proof and Infinity
A Theory of Constructive Reasoning
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms construction' and proof' has never been adequately explained (although Kriesel, Goodman and Martin-Lof have attempted axiomatisations). This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting arithmetic and constructive analysis are given.
The philosophical basis of constructivism is explored thoroughly in Part I. The author seeks to answer objections from platonists and to reconcile his position with the central insights of Hilbert's formalism and logic.
Audience: Philosophers of mathematics and logicians, both academic and graduate students, particularly those interested in Brouwer and Hilbert; theoretical computer scientists interested in the foundations of functional programming languages and program correctness calculi."
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2010

نویسنده

P. Fletcher

ناشر

Springer

شابک

9789048151059
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

300+ Mathematical Pattern Puzzles

300+ Mathematical Pattern Puzzles

Chris McMullen
20
هزار تومان
Elementary Number Theory

Elementary Number Theory

William Stein
20
هزار تومان
My First Word Board Book

My First Word Board Book

Angela Wilkes
20
هزار تومان
Algebra, Arithmetic, and Geometry

Algebra, Arithmetic, and Geometry

Yuri Tschinkel
20
هزار تومان
Odd Numbers

Odd Numbers

Herbert McKay
20
هزار تومان
Teaching Number Sense, Grade 2

Teaching Number Sense, Grade 2

Susan Scharton
20
هزار تومان
This is Only a Test

This is Only a Test

Maryann Wic...
20
هزار تومان
Fundamentals Of Mathematics, Enhanced Edition (With Enhanced Web Assing 1 Semester Printed Access Card)

Fundamentals Of Mathematics, Enhanced Edition (With Enhanced Web Assing 1 Semester Printed Access Card)

Holli Adams
20
هزار تومان
Elements Of Number Theory (Undergraduate Texts In Mathematics)

Elements Of Number Theory (Undergraduate Texts In Mathematics)

John Stillwell
20
هزار تومان
Math Essentials

Math Essentials

Stephen L. ...
20
هزار تومان
Math Essentials

Math Essentials

LearningExp...
20
هزار تومان
Structure of Matter, Structure of Mind

Structure of Matter, Structure of Mind

William L. ...
20
هزار تومان
Travelling Mathematics The Fate Of Diophantos' Arithmetic

Travelling Mathematics The Fate Of Diophantos' Arithmetic

Ad Meskens
20
هزار تومان
Geometry and arithmetic

Geometry and arithmetic

C Faber; Ga...
20
هزار تومان
Découvrir L'arithmétique

Découvrir L'arithmétique

Pierre Damp...
20
هزار تومان
Aritmetica [With CDROM]

Aritmetica [With CDROM]

Aurelio Baldor
20
هزار تومان
Scholastic Study Smart Mathematics Practice Tests Level 4

Scholastic Study Smart Mathematics Practice Tests Level 4

Scholastic ...
20
هزار تومان
<div class=vernacular lang="ar">شرح الأرجوزة الياسمينية في الجبر والمقابلة /</div> Sharḥ al-Urjūzah al-Yāsamīnīyah fī al-jabr wa-al-muqābalah

<div class=vernacular lang="ar">شرح الأرجوزة الياسمينية في الجبر والمقابلة /</div> Sharḥ al-Urjūzah al-Yāsamīnīyah fī al-jabr wa-al-muqābalah

بدون نویسنده
20
هزار تومان
Arithmetic, Algebra, Analysis

Arithmetic, Algebra, Analysis

Felix Klein...
20
هزار تومان
Das Rechnen der Naturvölker

Das Rechnen der Naturvölker

Ewald Fettweis
20
هزار تومان
Finding Fibonacci

Finding Fibonacci

Keith Devlin
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن