স্মিন উপপাদ্য কি কারিঙ হিসাবে একই ধারণা?

আমি স্মিন উপপাদ্য অধ্যয়ন করছি এবং ধারণাটি আমাকে কার্য়িংয়ের স্মরণ করিয়ে দিয়েছে।

স্মিন উপপাদ্য সম্পর্কে উইকিপিডিয়া নিবন্ধ থেকে :

উপপাদ্যটি বলে যে একটি প্রদত্ত প্রোগ্রামিং ল্যাঙ্গুয়েজ এবং ধনাত্মক পূর্ণসংখ্যার এম এবং এন এর জন্য একটি নির্দিষ্ট অ্যালগরিদম রয়েছে যা মি + এন মুক্ত ভেরিয়েবল সহ একটি প্রোগ্রামের উত্স কোড হিসাবে এম মানগুলিকে একসাথে গ্রহণ করে। এই অ্যালগরিদমটি উত্স কোড উত্পন্ন করে যা কার্যকরভাবে প্রথম পরিবর্তন করতে পারে এবং সমস্ত ভেরিয়েবলগুলি মুক্ত রাখে m

তরকারী সম্পর্কে একটি নিবন্ধ থেকে :

স্বজ্ঞাতভাবে, কারিঙ বলছে "যদি আপনি কিছু যুক্তি স্থির করেন তবে আপনি বাকী যুক্তিগুলির একটি ক্রিয়া পাবেন"

আমার কাছেও একই ধারণা বলে মনে হচ্ছে। আমি অনিশ্চিত হওয়ার একমাত্র কারণ হ'ল যে উপকরণগুলি আমি smn এ এসেছি সেগুলি কারিগরীকরণের উল্লেখ করে না (এবং তদ্বিপরীত), তাই আমি এটি পেতে পারি কিনা তা নিশ্চিত করার জন্য আমি এটির সাথে পরামর্শ করতে চেয়েছিলাম।

computability

— emanek
সূত্র

প্রকৃতপক্ষে. কিছু সংখ্যক প্রমাণের মধ্যে মেষশাবকের স্বাদ থাকে। স্মিন উপপাদ্য, মোটামুটিভাবে, ভান করতে দেয় যে পুনরাবৃত্ত ফাংশনগুলির সূচকগুলি ল্যাম্বডা পদ হয়, যাতে প্রদত্ত

আমরা অনানুষ্ঠানিক

এবং দাবি করে যে

আদিম পুনরাবৃত্তিযোগ্য। এমনকি দ্বিতীয় পুনরাবৃত্তির উপপাদ্য প্রমাণ (যা স্ম্ন শোষণ করে) হ'ল চার্চের ছদ্মবেশে নির্দিষ্ট পয়েন্ট সংযোজক,

পিছনে লুকানো

ϕ_{i} (-, -)

$\phi_i(-,-)$

g (x) = # λ y . ϕ_{i} (x, y)

$g(x) = \#\lambda y. \phi_i(x,y)$

g

$g$

s ()

$s()$ ব্যবহারসমূহ. এখানে মূল

হ'ল গণনা

গণনার সংজ্ঞায়িত হলেও , বলুন, টিএমএস (বা জাভা, বা ...) আমরা লাম্বদা আছে তা এখনও ভান করতে পারি!

ϕ_{i}

$\phi_i$

— চি

যখন একটি curried ফাংশন অস্তিত্ব ওয়েল, SMN একটি অস্তিত্ববাদের বিবৃতি তোলে প্রদান করে "কম্পাইলার"। তবে ধারণাটি একই।

— রাফেল

হ্যাঁ, এটি একই জিনিস।

কারিঙ করা -ক্যালকুলাসের একটি ধারণা । এটি এবং মধ্যে রূপান্তর । এই চিন্তা "যদি আমরা ধরনের দুটি আর্গুমেন্ট একটি ফাংশন আছে এবং , তাহলে আমরা (টাইপ প্রথম যুক্তি সমাধান হতে পারে ), এবং আমরা অবশিষ্ট যুক্তি (টাইপ এর একটি ফাংশন পাবেন )"। আসলে, এই রূপান্তরটি একটি আইসোমরফিজম। এই গাণিতিকভাবে (টাইপ) এর গাণিতিক মডেল দ্বারা সুনির্দিষ্ট তৈরি করা হয় -calculus, যা হয় কার্টিজিয়ান বদ্ধ বিভাগ । $\lambda$ $A \times B \to C$ $A \to (B \to C)$ $A$ $B$ $A$ $B$ $\lambda$

সংখ্যাযুক্ত সেট একটি বিভাগ আছে। একটি সংখ্যাযুক্ত সেটটি একটি জোড়া যেখানে সেট থাকে এবং একটি আংশিক সুরক্ষা , অর্থাৎ, সংখ্যার থেকে একটি মানচিত্র , যা অপরিবর্তিতও হতে পারে। তাহলে তাহলে বলা যায় একটি হল কোড এর । গণনা তত্ত্বে অনেক উদাহরণ রয়েছে। যখনই আমরা কোনও সংখ্যার সাথে কিছু তথ্য এনকোড করি আমরা একটি সংখ্যাযুক্ত সেট পাই। উদাহরণস্বরূপ, একটি স্ট্যান্ডার্ড নম্বর রয়েছে $(A, \nu_A)$ $A$ $\nu_A : \mathbb{N} \to A$ $A$ $\nu_A(n) = x$ $n$ $x$ আংশিক গণনীয় ফাংশন, যাতে সংখ্যা দ্বারা এনকোড আংশিক গণনীয় ফাংশন দ্বারা নির্ণয় করা হয় যখন প্রয়োগ । (ফলাফল অপরিবর্তিত হতে পারে।) $\varphi$ $\varphi_n(k)$ $n$ $k$

$f : (A, \nu_A) \to (B, \nu_B)$ $n \in \mathbb{N}$ $f(\nu_A(k)) = \nu_B(\varphi_n(k))$ $k$ $\nu_A$ $\varphi_n$ $f$ $\phi_n$ $f$

$\lambda$

— আন্দ্রেজ বাউয়ার
সূত্র

P E R (A)

$PER(A)$

ν_{A}

$\nu_A$

হ্যাঁ, দুটি বিভাগ সমতুল্য এবং তৃতীয় সমতুল্য সংস্করণটি বিনয়ী সেটগুলির (অনুসন্ধানের "বিনয়ী সেট এবং সমাবেশগুলি")।

— আন্দ্রেজ বাউয়ার