হালমোস সম্বন্ধে

Halmos গণিতের জন্য একটি বোর্ড যেখানে সার্ভার গণিত পরীক্ষা করে। এটিকে দেখতে অনেকটা লিঙ্ক অ্যাগ্রেগারারের মত দেখায়, যতক্ষণ না আপনি লক্ষ্য করেন যে কিছু পোস্টের মাঝে এমন কিছু চিহ্ন রয়েছে যেগুলোর দ্বারা কোন পরিমাণে বিশ্বাসযোগ্য লেখার সৃষ্টি করা যায় না।

অন্য সব গণিত ফোরামের সমস্যা

ম্যাথওভারফ্লো, ম্যাথ. স্ট্যাক এক্সচেঞ্জ, আর/মেথ, আরএক্সআইভি মন্তব্য বিভাগ। এদের সবার সঠিকতা নির্ধারণের জন্য একমাত্র একজন আর্চবিচারক আছে: অন্য মানুষ, বিতর্ক। এটা খুব ভাল কাজ করে, আর এটাই হচ্ছে কারণ যে ভুল প্রমাণ লেখার ক্ষেত্রে যেটা খুব সহজে লেখা যায় সেটা সঠিক প্রমাণ লেখার ক্ষেত্রে যেটা খুব খারাপ লেখা হয় তার চেয়ে বেশী গুরুত্বপূর্ণ, আর এটাই হচ্ছে কারণ যে "আমি এটা চেক করেছি" এবং "আমি এটা বিশ্বাস করি" পাতায় একই রকম দেখায়।

Halmos একটি দ্বিতীয় আর্চার যোগ করে যার সাথে বিতর্ক করা যায় না।

সার্ভার আসলে কি করে

যে কোন পোস্ট বা মন্তব্যে একটি ঝুলন্ত ব্লক রাখুন এবং এটি এখানে চলবে, জমা দেওয়ার সময়:

ব্লকের নিচে দেখানো আউটপুট হল টুলটি যা মুদ্রণ করেছে, শব্দের অর্থ। কখনো সারসংক্ষেপ: সারসংক্ষেপ করা ঠিক যেখানে একটি তৈরী করা ঝুলে যাবে।

কিভাবে চেষ্টা করতে হবে, এক মিনিটের মধ্যে

1. স্বাভাবিকভাবে মন্তব্য করো। বেশিরভাগ পোস্টের মধ্যে কোন গণিত নেই এবং এখানে কোন কিছুর প্রয়োজন নেই।
2. গণিতের ইনলাইন লিখুন সঙ্গে $…$, অথবা একটি ডিসপ্লে ব্লক $$…$$. এটি বাস্তব টাইপসেট গণিত হিসাবে রেন্ডার করে; কিছুই চালানো হয় না । এটি শুধুমাত্র নোটেশন । দেখুন
3. মেশিনকে জিজ্ঞেস করো। একটি বাঁধা ব্লক sage, gp, z3 অথবা python এখানে এটি চালানো হয়েছে এবং এর ফলাফল আপনার পোস্টের সাথে যুক্ত করা হয়েছে, এটা প্রমাণ নয়, এটা প্রমাণ। দেখুন
4. কিছু আঁকুন একটি plot ব্লক (matplotlib, সঙ্গে plt এবং np প্রস্তুত), অথবা একটি ক্রম চিহ্নিত করো oeis: পূর্ণসংখ্যার সংখ্যা পেস্ট করো এবং এটি নামযুক্ত ফিরে আসে, যদি এটি জানা হয় ।
5. কিছু প্রমাণ করো। একটি বার্তা পাঠাও lean ব্লকটি Mathlib এর সাথে টাইপ- চেক করা হয়েছে । এটি যেকোন মন্তব্যে পেস্ট করুন: দেখুন

```lean
import Mathlib
theorem two_add_two : 2 + 2 = 4 := by norm_num
```

নিবন্ধন করার জন্য শুধুমাত্র একটি ব্যবহারকারীর নাম এবং পাসওয়ার্ড প্রয়োজন: কোন ই-মেইল, কোন নিশ্চিতকরণ পদক্ষেপ নেই। যা কিছু পরীক্ষাকারীরা করছে তা এখনই হচ্ছে লাইন, এবং প্রতিটি চেকারের লাইভ অবস্থা উপর বার্তা: যদি কোনটি নিচে থাকে তাহলে আপনাকে বলা হবে "চলতে পারেনি", কখনো "অনুমোদন করা হয়নি"।

আপনার নিজের গতিতেই লিখুন

একটি পোস্ট আরম্ভ করুন আপনার গণিতের চিত্রটি পাঠকের মত দেখতে লেখা এবং প্রাকদর্শন বদলে দিন । পরিবর্তনগুলি স্বয়ংক্রিয়ভাবে সংরক্ষণ করা হবে আপনার খসড়া; জাভাস্ক্রিপ্ট ছাড়াও খসড়া সংরক্ষণ করা যায় । খসড়া এবং প্রাকদর্শন কখনোই কোড চালায় না । শেয়ার করার জন্য প্রস্তুত হলে প্রকাশ করুন ।

একটি বার্তা এর বিষয়বস্তু তালিকা তৈরি করতে শিরোনাম ব্যবহার করো । ইনসার্ট মেনু সংজ্ঞা, প্রমিত, প্রমাণ, উদাহরণ, সারণী এবং লিঙ্ক যোগ করো । উদাহরণস্বরূপ:

:::theorem Squares
For every real $x$, we have $x^2 \geq 0$.
:::

:::proof
Explain your argument here.
:::

একটি প্রমাণ বাক্স একটি আর্গুমেন্ট উপস্থাপন করে; একটি গ্রহণযোগ্য Lean চেক পরীক্ষার চিহ্ন সরবরাহ করে। সম্পাদকের নিচে উৎস এবং স্বনির্বাচিত LaTeX ম্যাক্রো যোগ করুন, অথবা ডিফল্ট নির্ধারণ করুন আপনার প্রোফাইলএকটি বিষয় এবং ট্যাগ বেছে নিন যাতে আগ্রহী পাঠকরা আপনার পোস্টটি খুঁজে পেতে পারে।

প্রকাশিত পোস্ট- এর একটি সম্পাদন পোস্ট লিঙ্ক আছে । সংরক্ষিত সম্পাদন গোপনীয় থাকে যতক্ষণ না আপনি আপডেট প্রকাশ করেন । বার্তাটি তার ঠিকানা রাখে, এবং বিদ্যমান মেশিন পরীক্ষা টেক্সট তারা পরীক্ষা করা বন্ধন রাখে ।

একসাথে পড়ে যাও

আপনার ব্যক্তিগত পড়া তালিকায় পোস্ট সংরক্ষণ করুন এবং ব্যক্তিগতভাবে লেখক অথবা বিষয় অনুসরণ করুন অনুসরণ করা হচ্ছে আপনার পোস্ট এবং মন্তব্যের উত্তর এই ফোল্ডারে দেখানো হবে আপনার উত্তর.

একটি বই বা সিরিজ তৈরি করুন আপনার প্রকাশিত পোস্ট সংযুক্ত করতে। অধ্যায় যোগ করুন, তাদের ক্রম স্থাপন করুন, এবং প্রস্তুত হবার পর বিষয়বস্তু জনসাধারণের জন্য উন্মুক্ত করুন। একটি ব্যক্তিগত সংগ্রহ তার বিষয়বস্তু তালিকা লুকিয়ে রাখে; এর পোস্টগুলি ব্যক্তিগতভাবে প্রকাশিত থাকে।

চিহ্ন

∎ বলা হয় halmos, after Paul Halmos, who introduced the end-of-proof symbol. It is the only thing on this site that carries authority, so it is deliberately hard to get:

• শুধু লিনই এটা সেট করতে পারে। True এটা প্রমাণ, প্রমাণ নয়।
• sorry, native_decide, একটি নতুন axiom, unsafe এবং debug.skipKernelTC প্রত্যাখ্যান করা হয়েছে পূর্বে ফাইলটি চলছে, তাই একটি চিট কম্পিউট ব্যয় করতে পারে না।
• একটি রান সঠিক লেখায় পিন করা হয় যা এটি তৈরি করে । পোস্টটি সম্পাদন করুন এবং নতুন শব্দে স্থানান্তরের পরিবর্তে চিহ্নটি পুরোনো হয়ে যায় ।
• যদি একটি চেক নিচে আপনি পাবেন "চালানো যায়নি", কখনোই না "প্রত্যাখ্যাত". অবস্থা পরীক্ষাকারী এই কারণেই এটা জনসম্মুখে প্রকাশ করা হয়েছে।

The Commons

যাচাই করা সস্তা, আবিষ্কার করা সস্তা নয়। The Commons এই বোর্ড ভোটে নির্বাচিত উন্মুক্ত সমস্যাগুলোর উপর গবেষণা করে। যে কেউ এতে অবদান রাখতে পারে, কোন ব্যক্তিই এর ফলাফলকে নিজের বলে মনে করে না, এবং প্রতিটি কাজের জন্যে অর্থ প্রদান করা হয়, এমনকি যেগুলো কোন জায়গায় যায়নি, যেগুলো সাধারণত তথ্যমূলক।

কে চালায় এটা

Halmos স্বাধীন এবং ছোট। এখানে যদি কিছু ভুল থাকে, তাহলে তা প্রমাণ করার দ্রুততম উপায় হল সার্ভার চালানোর জন্য একটি ব্লক। যোগাযোগ করুন.