دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب What does it mean to do mathematics within a topos ?
دانلود کتاب انجام ریاضیات در یک توپوس به چه معناست؟
مشخصات کتاب
What does it mean to do mathematics within a topos ?
ویرایش:
نویسندگان: Alain Prouté
سری: expository notes
ناشر:
سال نشر: 2015
تعداد صفحات: 6
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 436 کیلوبایت
قیمت کتاب (تومان) : 65,000
در صورت تبدیل فایل کتاب What does it mean to do mathematics within a topos ? به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انجام ریاضیات در یک توپوس به چه معناست؟ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب انجام ریاضیات در یک توپوس به چه معناست؟
هدف این متن توضیح برخی از ویژگیها و مشکلات تفسیر گزارههای ریاضی اثبات شده «در» یک توپوس (یعنی درونی)، به عنوان ویژگیهای (خارجی) این توپوس است. این تفسیر از طریق معناشناسی کریپکی-جویال انجام میشود، و چون گزارههایی که ریشه آنها یک پیوند افزودنی است («یا» و «آنجا») معنایی غیر بیاهمیت دارند، معنای خارجی آن چیزی است که «در» ثابت میکنیم. a topos همیشه با آنچه ما انتظار داریم مطابقت ندارد. برخی از تله ها کاملاً ظریف هستند.
توضیحاتی درمورد کتاب به خارجی
L'objet de ce texte est d'expliquer quelques particularités et pièges de l'interprétation des énoncés mathématiques prouvés ``dans'' un topos (i.e. de manière interne), comme propriétés (externes) de ce topos. Cette interprétation se fait via la sémantique de Kripke-Joyal, et à cause du fait que les énoncés dont la racine est un connecteur additif (``ou'' et ``il existe'') ont des sémantiques non triviales, la signification externe de ce qu'on prouve ``dans'' un topos ne correspond pas toujours à ce qu'on pourrait attendre. Certains pièges sont assez subtils.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Deep Learning in Object Detection and Recognition
دانلود کتاب Svenska för sjukvårdspersonal
