Post by spitPost by RobakksWszystko prawda, tylko nie dodaję/odejmuję wartości, lecz zmieniam stan.
Można by to było porównać do kolorów: zamiast używać symboli "0" i "1"
można użyć symbolu "czarne" białe"
Odejmując czy dodając czarne do białego zmieniam jego stan na przeciwny.
To co Pan chce osiągnąć bez powiązania wypełnień pól między sobą
nie może wywołać przepełnienia globalnego, albo Pan się zdecyduje że
zmienia stan przez dodawanie/odejmowanie wartości pola które z innymi
polami tworzy całkowitą wartość (w tym wypadku np. 0,Re1-1 :-) ),
albo nie będzie globalnego przepełnienia wywołanego jednym polem.
Przepełnienie powstaje jedynie w operacjach które wywołują
pożyczenie/oddanie wartości od/do kolejnego pola,
wtedy pola tworzą w sensie wypełnień zależną od siebie spójność tzn ostanie
wypełnienie zależy pośrednio od pierwszego.
Jeżeli Pan wcześniej słuchaczy nie uprzedzi że kolory są jak papużki
Niech będzie Re1 pól czarnych .Patrząc z "daleka" widać czarną krechę .
Zmieniając jedno pole z "daleka" dalej będzie czarna krecha a Pan chciał
przepełnienie czyli zmianę wszystkich kolorów.
Bez powiązania logicznego Pana kolorów to tak się nie da.
No to w takim razie proszę popatrzeć na BAJT. To 8 przerzutników
mogących przyjmować tylko dwa stany: awers i rewers, biały i czarny, "0" i "1",
Post by spit1V i 2V< <= dla przykładu. Bajt ma zawsze 8 przerzutników niezależnie
od stanu ich wyjść. Są rejestry dłuższe niż BAJT np. 16-to, 32, 64, 128 bitowe.
W informatyce długość rejestru jest zawsze 'skończona' z uwagi na
ograniczenia sprzętowe, dlatego nie istniało pojęcie rejestru nieskończenie
długiego, a więc równolicznego ze zbiorem N. Taki rejestr wykracza poza
możliwości techniczne, lecz jest możliwy w UMYŚLE - podobnie jak możliwe
jest wyobrażenie sobie półprostej, która ma początek ale nie ma końca.
Taki rejestr nieskończenie długi zaistniał jednak jako
"taśma w maszynie Turinga" - a skoro jest to można go badać. :-)
Post by spitPost by RobakksSądzę, że to odsysanie najlepiej byłoby zrobić na wierszu odwróconym
a więc od końca.
To wiersz symetryczny względem ZERA o ile pamiętasz
Pan, że płaszczyzna podzielona jest na 4-ry Tabele N^2.
No wreszcie Pan wprowadza nowinki :-).
Na tych wykładach jeszcze mnie nie było ,albo raczej wszedłem w trakcie i
nie wiedziałem o co chodzi ;).
Z tego co JA pamiętam z czasów gdy byłem hardwerowcem,
numeracja poszczególnych bitów tworzących rejestr oraz "waga bitów"
była rzeczą umowną opartą na odwróconym wierszu:
kolejność liczona była od prawej do lewej a wartość od lewej do prawej.
Ostatni bit w kolejności był pierwszym pod względem wartości.
To dygresja, bowiem o wartościach stanu rejestru jeszcze nic nie piszę
choć oczywiście, aby rozmowa miała jakiś sens to do wartości
trzeba będzie nawiązać.
Post by spitPost by Robakks... 6 5 4 3 2 1 <= to pole jest ostatnie a więc najmniej znaczące
- a więc najmłodszy bit. :-)
Nie nie ....najmniej znaczący oznacza najstarszy bit .
To tak jak z powstawaniem liczb najpierw 1 potem 2,3....1000....
Najstarsza jest jedynka ale najmniej znaczy(w sensie wartości).
To właśnie napisałem: "ostatni będą pierwszymi" ;D
Post by spitPost by RobakksZnaczy się jak na razie to chodzi mi o to aby odjąć jeden i uzyskać zbiór pełny
który tym się różni od pustego, że ma tę samą ilość pól ale odwrotny
stan wszystkich pól. O tym jaka to liczba jak na razie nie chcę się wypowiadać
bo jeszcze nie ustaliliśmy co to jest liczba. Poza NAZWĄ kolumny, która
to nazwa jest liczbą porządkową nie używaliśmy liczb lecz zmianę stanu.
0 + 0 = 0
0 + 1 = 1
1 + 0 = 1
1 + 1 = 0
0 - 0 = 0
0 - 1 = 1
1 - 0 = 1
1 - 1 = 0
To jest śmieszne w tym rachunku, że nie zawsze 0 i 1 są liczbami.
Czasem są nazwami. 0 jest bierne i nie zmienia stanu a 1 jest aktywne.
No ok ale tym nie można wywołać przepełnienia globalnego.
Tu nie ma definicji powiązania.
To się sprawdza jak wartości kolejnych pól są powiązane spójne ,w tym
wypadku kolory tego nie gwarantują,
chyba że zdefiniuje pan powiązanie pól niezależnie czym są wypełnione ,a
tego Pan nie zrobił. :)
To się sprawdza jak np.zbiór bramek AND,OR,...tworzy spójność czyli
wejściowe argumenty kolejnych bramek zależą od wyjść z poprzednich bramek,
a w stanie początkowym są np.dla zbioru bramek OR wszystkie wyzerowane.
No proszę pomyśleć: jeśli piszę, że z bajtu zerowego 00000000 po odjęciu 1
uzyskuje się stan 11111111 a następnie pytam czy ta prawidłowość dotyczy
wszelkich rejestrów, także tych nieskończonych - to przecież nie muszę
wyjaśniać mechanizmu w jaki sposób z bajta pustego 00000000 robi się
bajt PEŁNY 11111111. Mechanizm jest ważny ale drugorzędny dla osób,
które wiedzą jak to się dzieje, że po odjęciu 1 z 0 cały rejestr się zapełnia. :)
Post by spitPost by RobakksPost by spitW ogólno przyjętej matematyce przyjęto oo-1=oo pewnie z jakichś
powodów a może dla świętego spokoju a może dlatego że oo-1 i oo-2
o wartości i ilości mówi tyle samo co oo czyli nic.
Ogólnie operacje na oo w matematyce dozwolone są tylko przy liczeniu granic
co już świadczy o tym że to "zaokrąglenie"
ma na celu dbałość w tym wypadku o wartości granicy bo dla granicy wartość
oo-1 i oo ma tą samą wartość oo - symboliczną.
Tak sobie można było założyć, ale można też sprawdzić czy powyższe
filozofia = matematyka = informatyka = WSZYSTKO
czy jakoś tak.
Dzisiaj przeprowadziłem przypadkowo rozmowę ze studentką 3 roku filozofii i
realnie zamiast znaków = wporwadziłbym
filozofia + matematyka + informatyka +...= WSZYSTKO
Dla mnie filozofia jest w środku okręgu ,a ze środka wychodzą promienie do
danej dziedziny oznaczone "=>"
Znak = w moim opisie jest prawdzywy ale tylko w teorii ;-).
Bardzo ładna klasyfikacja i zgodna z moimi intuicjami. Filozofia (mądrość)
jest poza dziedziną, którą bada a więc potrafi ocenić czy matematyka,
informatyka, chemia, geografia, fizyka itd. zawierają mądrości.
Filozofia potrafi także ocenić samą siebie i unieść się ponad WSZYSTKO
by zobaczyć WSZYSTKO wraz z sobą będącym jego składnikiem. :-)
Post by spitPost by RobakksGdyby nam się udało odjąć logiczne "1" od wiersza pustego i uzyskać
wiersz PEŁNY, a więc wypełniony samymi 1-dynkami - to zrobilibyśmy
precedens. Uzyskalibyśmy granicę, której nie można przekroczyć
bowiem dodanie 1 zerowałoby taki rejestr. Co dalej to się okaże
gdy nam się uda powyższe.
Napisałem wcześniej przepełnienie pustego wiersza da w Pana symbolice
ostatnie pole o wartości Re-1,
z tego względu że numerowanie pól zaczyna się od 1 a wartości od 0.
Jeśli wprowadzi Pan numerowanie wiersza od 0 to numeracja i wartości
pokryją się. Czy numerowanie wierszy od 0 wprowadza jakieś zamieszanie?
...aaaa chyba wiem o co chodzi
1..........................................Re1(1'0)
Re1+1(1'1)..................Re1+Re1(2'0)
....
Re1*[Re1-1](Re1'1)....Re1*Re1(Re1'Re1)
0(1'0)..................................Re1(1'Re1)
Re1+1(2'0).................Re1+Re1(2'Re1)
....
Re1*[Re1-1](Re1'0)....Re1*Re1(Re1'Re1)
i osiągamy wtedy przepełnieniem Re1 ;-)
Numeracja którą zaproponowałem wynika z symetrii względem "negacji".
"Negacją" wiersza pustego jest wiersz PEŁNY
"Negacją" wiersza który ma tylko jedno pole zaznaczone jest wiersz, który
ma tylko 1 pole odznaczone
0 <=> Re1
1 <=> Re-1
n <=> Re1-n
Jak na razie JA nie chcę uzyskać przepełnienia, o którym Pan piszesz,
lecz ZAPEŁNIENIE i szukam sposobu na jednoznaczność.
Geometryczna analogia z zaznaczeniem wiersza pustego linią prostą
nie zyskała zrozumienia u "Matematyków" przez wielkie "M" - przechodzę
więc do Algebry Boola i LOGIKI binarnej.
Chcę od pustej taśmy Turinga odjąć 1.
Taśma Turinga składa się z dwóch wierszy a więc jest podwójnym rejestrem
nieskończonym: w lewo i w prawo. Pusta taśma ma stan ZERO a JA
odejmuję od tego "0" logiczną "1" i bytam czy cały rejestr się zapełni.
Jeśli "nie", to będzie znaczyć, że maszyna Turinga nie potrafi wszystkiego.
Jeśli "tak" to będzie znaczyć, że osiąga granicę "->oo".
Post by spitPost by RobakksUżywam formy "my", "nam" bowiem jesteś Pan współautorem tego
co powstanie. Sam bym nie dał rady. :-)
Edward Robak* z Nowej Huty
...za cienki Bolek narazie ze mnie ;) ale próbować pomagać mogę ;P
JA mam przeczucie, że w niedługim czasie to o czym rozmawiamy
będziesz Pan wiedział lepiej ode mnie i potrafisz rozwinąć IDEĘ.
Początki zawsze są trudne - ale Pan nie odrzucasz nowego, lecz sprawdzasz.
To przejaw mądrości.
Tak,tak :-)
PS. Idę siostrze naprawić kran, bo coś zaczęło kapać spod gwintu
do wyprowadzenia dopływu wody od pralki automatycznej.
Biorę więc klucze, pakuły, uszczelki - wsiadam w autobus 122 i znikam.
na razie. :-)
Edward Robak* z Nowej Huty
~>°<~
"Prawda nie kłamie"