بالسنا بیرنرد

بالسنا بیرنرد (5. 10. 1781-18. 12. 1848، پرگه) ، ریاضی‌دان، فیلسوف و گیالاگ چک. انیویرسیتیت کرلاو را در پر­گه ختم کرده است (فکولتة فلسفه را سال 1800، فکولتیت گیالوژی را سال 1805). سالهای 1805-20 مدیر کفیدرة تع­ریخ دین همین انیویرسیتیت بود. سپس، برای آزادفکری از وظیفه سبک‌دوش گردید و ب­رای تحقیق معمّاهای ریاضیات و منطق وقت پیدا کرد. در تحقیقات عاید به اساسهای منطقی تحلیل ریاضی بالسنا بار اوّل نظریة عددهای حقیقی را آموخت. غیر از این او تیاریمه‌ها و مفهومهای بنیادی ریاضیات را پیشنهاد کرد، که در علم جهانی دیرتر تطبیق شدند (مثلاً، فونکسیه‌های بی‌فاصله، ولی در یگان جا دیفّیرینستسیه نشده، که با یاری تحقیقات هندسوی به دست آورده شده بو­دند). بالسنا در اثر خود «معمّاهای بی‌آخری» نظریة مجموعه‌های بی‌آخر را کشف کرد. او تیاریمه را در بارة آن، که هر یک مجموع بی‌آخر محدود اقلاً یک نقطة حدودی دارد، اثبات کرد (تیاریمة بالسنا-ویییر-شترسّ). بالسنا در تعلیمات خود پلتانیزم مادیفیکتسییشده (تعلیمات عاید به مفهومهای صاف و در بارة حقیقت خود) و اتمیزم را (نسبت تغییریابی سوبستنسیه‌های ساده در روند تأثیر متقابله) جمع‌بست کرده، غایه نظریة اریفمیتیکی عدد مادّی را پیش­نهاد کرده است.