КАКВО Е МАТЕМАТИЧЕСКА ЛОГИКА ?
Отиди на страница:
Тъкмо щях да напиша, че истина - неистина е само един възможен вид логика  Но ми се струва, че Кайли бърка ежедневното значение на понятието "логика" с математическата дефиниция. И оттам придава на математиката характеристики, които тя няма. |
| Бай Дан, Аз ще се придържам към класическата като сравня нея с интуиционiстката логика (Intuitionistic Logic). Die Hexe, Аз влагам в опонятието Истина (Truth) това което е залегнало в основите на математическата логика, тоест математическите истини. В такъв смисъл на думата това което е истина в математиката не винаги съвпада с различните тълкувания на това в какво се състоят условията на истинност във философско-езиковия смисъл на думата. Вместо истина някой философи (късният Wittgenstein, Moore, behaviorists, и така нататъка) предпочитат понятието "коректност в следването на правилата". Така че може наистина да е това kоето Kaily мисли че е. |
Ако А е Бе и Ц е Бе, то двете бедра в равностранния триъгълник са равни. Чшшш, Слънчо - ако А е Бе, и Ц е Бе, а двете бедра са равностранни - получава се "шведска тройка" таковата, и "Условието" ше бъде удовлетворено отсякъде.  С извинение начи.. . Аз плахо да попитам - тук да не отваряте "Неделно училище" по математика? |
Аксиомите требе да се приемат за верни, особено ако очевидността им не е скрита. Требе се приемат за верни? А теоремите що не требе се приемат за верни, ми требе се доказват? Сички теореми лежат на две три ПРИЕТИ ЗА ВЕРНИ твърдения, които не са длъжни да бъдат верни само въз основа на това, че некой си ги приел за верни. ________________________________ ____ Obama says "Some of what we face today is because of events beyond our control" CNN, Thu, 19:54 11-08-2011 |
Сички теореми лежат на две три ПРИЕТИ ЗА ВЕРНИ твърдения, които не са длъжни да бъдат верни само въз основа на това, че некой си ги приел за верни Ако направиш още една крачка, ще разбереш и разликата между наука и религия.  И ще си отговориш на собствените въпроси от преди 1-2 страници. |
| Прието за вярно, Kaily, е едно твърдение ( в случая аксиома) ако неговото отричане противоричи както на фактите така и на здравия разум. |
| "...и Господ каза - Нека да е Светлина!" Без да отбележи в тефтерчето Си, че светлинните лъчи са идеалните Прави линии в цялата Вселена... дето я е създал за собствен кеф, и напук на Рогатия! Аксиома или да?! И... почва чепкането на "вЪлната и курпускулите"! Дедо Нютон казва едно, Хюйгенс - друго, Лобачевски и Гаус - трето, а Хайзенберг и Айнщайн... хептен пък оплескаа нещата. Ся чакаме "Големия андронен колайдер" да каже нещо, ама диванетата от CERN все още си трайкат относно бозончето Х... Що ли? |
| Според горното има два сорта истини, - пропозиции. Едните са вярни ако реферират към факти. Една такава истина е: "Всички хора са смъртни." Това е един факт който поне до сега е необорим. Неговото отричене е фалшивото изречение (пропозиция) "Не всички хора са смъртни." Ткива изречения в логиката се наричат синтетични a posteriori Другият сорт изречения чиито отричане противоречи на здравия разум са вярни на логическа основа. Такива са или елементарн изречения като "Един ерген е неженен"или изречения "А или е роден на 24 юни или не е роден над 24 юни" ". Този сорт изречения се казват аналитични a priori |
| Прието за вярно, Kaily, е едно твърдение ( в случая аксиома) ако неговото отричане противоричи както на фактите така и на здравия разум. Въпросният случай се нарича в науката "правдоподобно разсъждение", а не аксиома, и отделно е главна основа и метод в практическата дейност. Но това не го знаят хората с "богата култура" знаещи по малко нещо за много неща и незнаещи много нещо дори за едно нещо.  |
| Уфф... конюнкция, дизюнкция, отрицание, импликация... Като си припомня кога съм я учил пустата му й Булева алгебра(мисля че беше преди около 40 и кусур години), и ми става едно таквоз... младежко-настофърчено-носталгич но. Айде мераклиите - Натиснете тук и се самообучавайте. Щото аз не ща, моето съм си го отработил.. А покрай ТТЛ-интегралките, де съм ги запоявал навремето(цоклите излязоха доста по-късно), вече съм с +3.5 диоптъра цайси. |
| Аксиома (axiom) принадлежи на вторият тип изречения аналитичните. Аксиомите са логически вярни по законите на мисленето и няма нужда да се доказват. Една такава аксиома е Еуклидовата "0 е едно число" или "Две точки на една повърхнина могат да бъдат свързани само с една права линия."[/u][/b] |
| Шнека ли? Може и да съм знаял навремето, ама Сега дори не помня.. абе аз снощи напорках ли се... или да. . P.S.Брат'чед, кофти нещо е склерито. Ей на, Шломо не се дава, ако да е на 70, а мен ме перна още на 60..  Редактирано от - OLDMAD на 08/9/2011 г/ 19:08:04 |
| Това е „винта на Архимед”(водоподемната машина – 250 г. пр.н.е.) изобретен когато е бил в Египет и е демонстрирал как да се изпомпва вода от делтата на Нил. Приложението му е крайно широко и сега. Оня ден с подобна машинка мелихме лютеницата. Но пойнта в, че едва ли всичките "проекти" на Архимед са осъзнати и реализирани и десега. |