Matematické Fórum

↑ Matej1117:

...existuje nieco co este nikdy nikym nebolo objavene...

vzhledem k tomu, že to ještě nebylo objevené, tak nevíme, zda to existuje.

↑ Matej1117:
Jasně, já vím, jak jste to myslel. Podle mne je toho k objevení ještě hodně. Akorát jde již o hodně specifické a vysoce specializované záležitosti.

↑ teolog:

Víme, minimálně, že vždy budou existovat otázky, které budou nerozhodnutelné při libovolném systému axiomů (doufám, že to nějak ošklivě nekomolím, pořádně tomu totiž nerozumím - mám na mysli důsledek Gödelových vět o neúplnosti ). To podle mě dává rozvoji matematiky velký prostor. : ))

↑ teolog:↑ Matej1117:

To záleží na úhlu pohledu, třeba Euklidés nepoužíval přímky protože v existenci ničeho takového jako "nekonečná úsečka" nevěřili, úzce to souvisí s filosofií a náboženstvím. -link- (nečetl jsem to)

V moderní matematice se spíš počítá s tím, že všechno někde je. Na zodpovězení Matějovi otázky bychom museli nejdřív dobře definovat existenci, objev a podobné věci :) Viz třeba nekonečno prvočísel, víme že n-té prvočíslo existuje ale není objeveno.
EDIT: To by samozřejmě znamenalo vytvořit systém nad kterým by se to budovalo a to by asi nemělo moc velký smysl :)

Na matematice je krásné to, že si můžeme vybudovat od základů vlastní teorii bez ohledu na předchozí výsledky. (Třeba s úplně jinou logikou.) Většina matematiky, co já vím, je založena na reálných věcech ale to není pro teorii vůbec podmínkou.

Ja beriem matematiku skôr ako jazyk(Bola angličtina vynájdená alebo vymyslená ?) pomocou, ktorého opisujeme tie najrôznejšie javy, teda je to nejaký prostriedok pre abstraktné vyjadrovanie.
Pozeral som jednu reláciu kde konštatovali, že matematika sa dlhé roky vyvíjala(vyvíja) pre fyziku a že čím ďalej idete od prírodných vied tým horšie sa veci pomocou matematiky opisujú(No prosím nepriama úmernosť).Možno príde obdobie keď sa matematika dostane aj do humanitných vied...

A vlastne čo myslíš pod formuláciou matematika :
  - symboly, teda nejakú formalitu  1+1=2 , ktorú sme vymysleli my ľudia, aby sme si rozumeli alebo
  - vyjadrovanie to že jedno jablko a jedno jablko sú dve jablká

Mna dostali Gödelove vety. Vzdy som veril ze matematika je to jedine co je uplne presne, uplne dokonale a ked som sa dozvedel ze niektore tvrdenia sa nedaju ani dokazat, ani vyvratit, bol to pre mna mensi sok. Asi je vo vsetkom nejaka diera, nic nie je dokonale ..

↑ Matej1117:↑ Matej1117:

Máš na myslie niečo takéto:

Viem, že nič neviem..

Takýto výrok nie je podľa mňa ani pravidivý, ani nepravdivý.

To je ale výrok..Daj príklad na niejakú "vetu".

↑ Matej1117:

To je. Je každý výrok alebo pravidivý alebo nepravdivý ? Čo je potom tento ?

↑ Matej1117:

Teda to je hlúposť. Z toho vyplýva, že to nie je výrok ? Čo je to ?

↑ BakyX:
Výrok máš definovaný jako: "smysluplná oznamovací věta, o jejíž pravdivosti můžeš rozhodnout" (tj. je pravdivá nebo nepravdivá).
Pokud o pravdivosti nemůžeš rozhodnout (z jakéhokoliv důvodu), pak to není výrok.

Současný český král je plešatý.
Suezská krize se sebrala a odešla na zmrzlinu.
Země je modrá jako pomeranč.
Jablko, které právě jím, je chutné.
Tato věta není pravda.

↑ pizet:

Viem, že viem, že neviem nič je ešte väčšia blbsoť. Nechcem to už rozvádzať.

Čo tvoj "web" :D ?

↑ zdenek1:

Ďakujem

↑ BakyX:

Sorry za OT. To bol môj vlastný webový server, dík, že si pripomenul, dám to preč.