Keresés

Részletes keresés

Gergo73 Creative Commons License 2009.01.18 0 0 1080
Olvasd a KöMaL cikkeit, a régebbi évfolyamokból is, és nézz meg sok feladatot és feladatmegoldást is. A feladatok oldásával a kreativitásodat is tudod fejleszteni, érdemes a könnyebbekkel kezdeni és nem túl komolyan venni a kudarcot. Ha a középiskolás feladatokat már unod, akkor belekezdhetsz egyetemi tankönyvbe, jegyzetbe. Érdemes kombinatorikával (pl. gráfelmélettel), számelmélettel, valós analízissel, lineáris algebrával, halmazelmélettel kezdeni (tetszőleges sorrendben) és sok feladatot megoldani. Számelmélethez magyar nyelven klasszikus Erdős-Surányi könyve, angolul pedig Hardy-Wright könyve. Ezek nagyon eltérőek, de mindkettő nagyon olvasmányos és izgalmas.
Előzmény: hoda (1079)
hoda Creative Commons License 2009.01.18 0 0 1079
hello mindenki!
én egy gimis 9. osztályos jó matekos vagyok de a tanárom nem áll a helyzet magaslatán és én szeretnék magamtól fejlődni nem tudnátok esetleg segíteni milyen könyvvel vagy ilyesmivel kezdjem a tanulást?
sajnálom ha esetleg off-lok és apróságokkal zaklatlak titeket
de a matek a szenvedélyem
Gergo73 Creative Commons License 2009.01.18 0 0 1078

Szerintem didaktikai szempontból nem volt szerencsés a megfogalmazásod, mert olyan, mintha a jól begyakorolt hatványazonosságokat használná, amik komplex számokra általánosan nem teljesülnek. Ennek egyébként mélyen az az oka, hogy az R-{0} topologikus térben minden zárt görbe pontra húzható, a C-{0} térben pedig nem (ott az origót meg lehet kerülni).

Előzmény: elsoszulott (1073)
Auréliusz Creative Commons License 2009.01.18 0 0 1077
Kedves elsoszulott!


Számold ki nekem következő 3x3-as mátrix determinánsát: 1,2,0,
0,1,0,
1,2,3

detA=A11A22A33+A21A32A13+A12A23A31-A31A22A13-A21A12A33-A32A23A11

=1*1*3+0*2*0+2*0*1-1*1*0-0*2*3-2*0*1 = 3

A vektor (x, y, z) egy operátor miatt a (3; 1; 6) -ba lett átvive.
Szerintem az (1; 2; 3) vektor nem elem a magtérnek, de pl: (2, 1; 2) vektor benne van.

Nos? (lehet, hogy hülye vagyok)
Túl sok nulla vót. :))
Előzmény: elsoszulott (1019)
Nautilus_ Creative Commons License 2009.01.18 0 0 1076
persze, használd a szövegeimet, ha úgy látod jónak.
Előzmény: Auréliusz (1072)
elsoszulott Creative Commons License 2009.01.18 0 0 1075
Igazából persze még ezzel sincs vége, mert átzárójeleztünk és csereberéltünk is 4tagot, de most nincs több erőm.
Előzmény: elsoszulott (1073)
elsoszulott Creative Commons License 2009.01.18 0 0 1074
Amiket kérdeztél még az elején azok közül van amit most már értesz?
Előzmény: Auréliusz (1072)
elsoszulott Creative Commons License 2009.01.18 0 0 1073
Ugyanazt írtad, mint én, csak 2-vel több lépésben. Igazából magyarázhatjuk még részletesebben:

A -1z=-z hez még elmondandó hogy z+(-1z)=1z+(-1z)=(1-1)z=0z=0

Itt bizonyítani kell, hogy inverz egyértelmű, z-nek legyen additív inverze a és b:

a=a+0=a+(z+b)=(a+z)+b=0+b=b

Alapfeladat utolsó egyenlőséghéz:
0+z= z=1z=(1+0)z=1z+0z=z+0z

Innen egyszerűsítési elv miatt 0=0z

De ekkor egyszerűsítési elvet is igazolni kell, legyen b+a=c+a

b=b+0=b+(a-a)=(b+a)-a=(c+a)-a=c+(a-a)=c+0=c





Előzmény: Gergo73 (1052)
Auréliusz Creative Commons License 2009.01.18 0 0 1072
Valóban gimis vagyok, és ezek kifejezetten újdonságnak számítanak nekem. De ígérem, időt fogok szakítani ezek megértésére, és akkor majd visszatérek, hogy mindenki lesöpörjek az intelligenciámmal.... :)) DDD

Egyébként örültem, hogy megismerhettelek, és engedelmeddel a Teremtés kontra-ban idézni is fogok tőled. Benne vagy?
Előzmény: Nautilus_ (1058)
Nautilus_ Creative Commons License 2009.01.18 0 0 1071
>>És fordítva: lehet fi, amely kiterjesztésben sosem igaz, csak belső modellben.

ez a mondat nem felesleges, mert belső modellben lehet igaz is hamis is. És lehet olyan fi, amely belső modellben MINDIG igaz. Szóval lehet ragozni a dolgot.
Előzmény: Nautilus_ (1070)
Nautilus_ Creative Commons License 2009.01.18 0 0 1070
S. F. vetette fel a következő problémát. Lehet-e, hogy egy ZFC-ftlen fi csak generikus kiterjesztésben lehet igaz, belső modellben nem? Ma úgy tűnik, lehet ilyen fi. Ha így van, az a függetlenség új modellelméleti jellemzését nyithatná meg: mit tud egy fi, ha belső modellben sosem lehet igaz? (de ZFC-ftlen)

És fordítva: lehet fi, amely kiterjesztésben sosem igaz, csak belső modellben.
Előzmény: Nautilus_ (1069)
Nautilus_ Creative Commons License 2009.01.18 0 0 1069
>>A "Harvey vs Sy " kerdes sem lefutott.

Hozzám egyértelműen Sy áll közelebb. Ő Bécsben tanít.
1. class-forcing-gal foglalkozik, ami a forszolás egy még jórészt ismeretlen területe;
2. elemi megközelítést dolgozott ki a Jensen-lefedési lemmára, egyszerűsítette a fine structure theory-t (szvsz nagyon szépen)
3. L és hasonló modellek felett forszol, ami már az Inner Model Theory önálló területévé vált; megoldott számos ehhez kapcsolódó, nemkonstruálható valósokkal kapcsolatos kérdést.
4. Tudtommal 2005-ben Bp-en is előadást tartott az Inner Model Hypothesis nevű, akkor ismeretlen konzisztencia-erejű állításról, ami szvsz a kutatás egy új irányát fogja megnyitni.

Ezen kívül foglalkozik rendszám-rekurzió-elmélettel is, nem is akárhogy. És minden mással pl. klasszikus leíró halmazelmélet.

Harvey, a testvére, az USA egyik legfiatalabb full professora volt kinevezésekor (Ohio). Közel áll a kombinatorikai problémákhoz, őt a FOM-on szoktam olvasni, tkp. ott fejti ki a tudományos tevékenységét.
Előzmény: sashimi (1067)
Gergo73 Creative Commons License 2009.01.18 0 0 1068

De off-topikságtól függetlenül sem:))

 

Ezt teljesen átérzem.

Előzmény: Nautilus_ (1065)
sashimi Creative Commons License 2009.01.18 0 0 1067
a híres Harvey Friedman-től:

Hiressege ketsegtelen, arrol azonban megoszlanak a velemenyek, hogy mirol is hires.
A "Harvey vs Sy " kerdes sem lefutott.

http://en.wikipedia.org/wiki/Sy_Friedman

http://en.wikipedia.org/wiki/Harvey_Friedman
Előzmény: Nautilus_ (1058)
Gergo73 Creative Commons License 2009.01.18 0 0 1066

Egyetértek. Az életszerű példákkal sajnos mindig fennáll a veszély, hogy a következtetések nem olyan egyértelműek. Pl. a diagnosztizált agytumorosoknak nem egész fele szenved csak fejfájástól (a tényleges arány ezért még kisebb), ezért az "agytumorom van -> fáj a fejem" reláció nem stimmel. De én is gondolkoztam Tőled függetlenül életszerű példán, és a következőt találtam ki:

 

"van legalább százmillió forintom" -> "van legalább száz forintom"

 

Fordítva sajnos (?) nem igaz.

Előzmény: Nautilus_ (1065)
Nautilus_ Creative Commons License 2009.01.18 0 0 1065
Így van. De off-topikságtól függetlenül sem:)) Talán életszerű példát kellett volna adnod neki:
Igaz:
agytumorom van -> fáj a fejem.
mármost fáj a fejem.
agytumorom van-e?
;)
Előzmény: Gergo73 (1064)
Gergo73 Creative Commons License 2009.01.18 0 0 1064

De én nem kívánok a filozófiai felvetéseivel foglalkozni.

 

Hát itt off-topik is lenne.

Előzmény: Nautilus_ (1062)
Gergo73 Creative Commons License 2009.01.18 0 0 1063
OK, valószínűleg ő csak azt akarta mondani, hogy a nullával való szorzás nem megfordítható lépés (ez igaz), ezért nem használható levezetésben (ez nem igaz).
Előzmény: Nautilus_ (1062)
Nautilus_ Creative Commons License 2009.01.18 0 0 1062
Szvsz Auréliusz, ha tényleg gimnazista, nem hülye. Pl. rendszerelméleti emergencia, holizmus (ahogy ő mondja: "töréspont") tényleg létezik (pl. szupervencia-kérdésként szokták emlegetni), a redukcionizmus ezért kritizálható.
Csak többet beszél, mint gondolkodik. Szerényen le kéne ülnie és tanulni, és tartózkodni az "érvényes ítéletektől".:)
az biztos, hogy Mérő könyvei nem elegendők.

De én nem kívánok a filozófiai felvetéseivel foglalkozni.
Előzmény: Gergo73 (1061)
Gergo73 Creative Commons License 2009.01.18 0 0 1061
Kétlem, hogy Auréliusz értené, hogy ZFC meg kontinuumhipotézis... Egyelőre ott tartunk, hogy minden szám nullaszorosa nulla.
Előzmény: Nautilus_ (1059)
Gergo73 Creative Commons License 2009.01.18 0 0 1060

0.x = 0.x+0 = 0.x+(x+(-x)) = (0.x+x)+(-x) = (0.x+1.x)+(-x) = (0+1).x+(-x) = 1.x+(-x) = x+(-x) = 0.

 

Lehet egyszerűbben is: 0.x+0.x=(0+0).x=0.x. A bal és jobb oldalból vonjunk le 0.x-et, ekkor 0.x=0.

Előzmény: Gergo73 (1046)
Nautilus_ Creative Commons License 2009.01.18 0 0 1059
>>Azt sem mondjuk, hogy fizikák vagy matematikák.
A formalizmus nevű irányzat mond olyat, hogy "matematikák".

ZFC+kontinuumhipotézis egy matematika,
ZFC+~kh egy másik matematika, nyilván.
Előzmény: Auréliusz (1055)
Nautilus_ Creative Commons License 2009.01.18 0 0 1058
1. http://www.math-inst.hu/pub/algebraic-logic/Contents.html

itt van egy Algebraic Logic-jegyzet, ez a címe is. Egyébként az algebrai logika sok fragmentuma eldönthető.


2. Hajek-Pudlák: Metamathematics of First Order Arithmetic,

http://www.amazon.com/Metamathematics-First-Order-Arithmetic-Perspectives-Mathematical/dp/3540506322

egy érdekes rendszer, amelynek a majdnem-abszolút konzisztenciája bizonyítható, a híres Harvey Friedman-től: az elemi algebra és geometria konzisztenciája.

http://www.math.ohio-state.edu/~friedman/pdf/ConsRCF8%5B1%5D.23.99.pdf
--------------
Az 1. esetben egy olyan elméletről beszéltem amely ZFC helyett más, és változó axiómákat használ, és ezekben bizonyít. Persze az egész megfogalmazható a halmazelméletben, de nem szükséges. Különböző axiómarendszerek pl. a predikátumkalkulust, annak szegmenseit "imitálják", néha jobban, néha szegényesebben (de mondjuk eldönthetően). Ezért van "több logika", hiszen több algebrai rendszerünk van. Van olyan logikánk, amelyben van pl. Beth-tulajdonság, vagyis az implicit és explicit definiálhatóság egybeesik (nagy dolog volt, amikor ilyet találtak), máshol nem.

A 2. esetben a ZFC helyett sokkal kisebb rendszerben építik fel a logikát, de úgy, hogy mégis sokat tud.
----------------------
Javaslom mindenekelőtt Csirmaz jegyzetét:

http://www.math-inst.hu/~csirmaz/
Matematikai logika a címe;
vagy
Ferenczi könyvét:
Matematikai logika címmel.

http://www.kirakat.hu/Muszaki_Konyvkiado_Ferenczi_Miklos:_Matematikai_logika-t471-1449
Előzmény: Auréliusz (1055)
Gergo73 Creative Commons License 2009.01.18 0 0 1057

Mivel a 0-val való osztást nem értelmezhetjük, mert a határértéke a végtelenben van

 

Nem a határértékek miatt nem értelmezzük a nullával való osztást, hanem mert az osztás szokásos és természetes definíciója egyszerűen nem értelmes a nullára mint osztóra.

 

Bár se filozófus, se matematikus nem vagyok még, azt azért szerintem jól látom, hogyha valamivel igazolni akarunk egy állítást, akkor annak vissza hasonló eredményt kell adnia.

Rosszul látod. Ha így lenne, akkor egy A->B következményt mindig meg lehetne fordítani B->A következménnyé. Pedig a legtöbbször nem lehet.

 

A többit el tudom fogadni.

 

Az a=b állításból következik, hogy ac=bc minden c-re. Nem értem, ezzel mi problémája lehet bárkinek.

 

Előzmény: Auréliusz (1056)
Auréliusz Creative Commons License 2009.01.18 0 0 1056
Had pontosítsak: Mivel a 0-val való osztást nem értelmezhetjük, mert a határértéke a végtelenben van, így ennél a műveletnél nem áll fenn a visszaalakítás lehetősége. Pl. A*0/0 nemegyenlő A. Bár se filozófus, se matematikus nem vagyok még, azt azért szerintem jól látom, hogyha valamivel igazolni akarunk egy állítást, akkor annak vissza hasonló eredményt kell adnia.

A többit el tudom fogadni.
Előzmény: Gergo73 (1046)
Auréliusz Creative Commons License 2009.01.18 0 0 1055
Miért teszed többes számba a logikát? Azt sem mondjuk, hogy fizikák vagy matematikák.

Az első és második pontodból nem sok mindent sikerült megértenem, adnál egy magyar nyelvű linket, hogy gyarapíthassam ismereteimet?
Előzmény: Nautilus_ (1053)
Nautilus_ Creative Commons License 2009.01.18 0 0 1054
3. és persze lehet logikát csinálni - ZFC-től teljesen függetlenül - kategóriaelméletben, toposzokban. Sok értelme nincs szvsz, de ez magánvélemény. A toposzelmélet nem váltotta be a hozzá fűzött reményeket (erről sokat lehetne beszélni..).
Előzmény: Nautilus_ (1053)
Nautilus_ Creative Commons License 2009.01.18 0 0 1053
>>amikor "logikak"-rol vagy "logikak"-ban bizonyitasz ezt meg azt, akkor is a standard halmazelmeletet axiomait es modszereit hasznalod tipikusan mondjuk a szemantika felepitesere, azaz bizonyos modellek megkonstrualasara.

1. Tarski algebrai logika programja éppen azon alapult, hogy ZFC helyett minél minimálisabb keretrendszerben bizonyítsunk logikákra tulajdonságokat (pl. Beth-tulajdonság, Craig-tulajdonság, végesen axiomatizálhatóság). Ahelyett, hogy ZFC-ben bizonyított volna, bizonyos algebrák varietásait vette, és ezek, mint kiderült, ekvivalensek voltak (a ZFC-nél jóval szűkebb rendszerben) logikák tulajdonságaival. Így sok logika lehet. Ez egy másik út, mint amikor ZFC-ben bizonyítunk Beth-, vagy Craig-tételt.

2. Hajek-Pudlák munkáját már idéztem: ők a szintaxist (pl. Gödel-tételek) a Szigma_0-indukcióval, a szemantikát a Szigma_1-indukcióval, tehát PA-nál gyengébb rendszerben építették fel. Tehát nem feltétlenül kell a teljességihez ZFC, bár a Keisler-Shelah-hoz nyilván elengedhetetlen.
Előzmény: sashimi (1048)
Gergo73 Creative Commons License 2009.01.18 0 0 1052
Inkább így csináld.
Előzmény: elsoszulott (1042)
Gergo73 Creative Commons License 2009.01.18 0 0 1051

Jó, akkor helyesbítem, hogy nagyon sok érdekes axiómarendszerre igaz az, amit mondtam. Amire Gödel nemteljességi vonatkozik, arra bizonyosan.

Előzmény: Nautilus_ (1050)

Ha kedveled azért, ha nem azért nyomj egy lájkot a Fórumért!