I feel very tired of studying temporarily. 

but there is lots of chapters to study yet still. 

hmm maybe i should do have some rest time like watching some tv show. 

yep. lets do rest some. 

so much studied last days. lets tonight do rest some. and tomorrow finalize until kripke's logic systems.

I due to curiosity started to read of intuitionistics maths chapter today. 


hmm yep i think its a nice idea even if i think studying is important and time is most critical resource, but still imho i need some pause/rest time. since i been studied constantly last many weeks alike. from one book to other. learning topoi etc etc. its just i feel too much tired today. 

i think this momentary add is because -> i since learnt some about topois, curiosity of topoi has reduced thereby add/adhd symptoms start to happen. (I can most effectively study to a chapter if i am very curious to) (now there is some less curiosity, since learnt about topoi and its generic some of use cases in logic systems, thereby there is now less curiosity. and thereby more add/adhd. ) 

in this less curioisty and more add/adhd study regimen -> I think i would need to give some rest. 

i traveled e.g. with some hardness as a metaphor of learning this category theory universe.  and now i saw how logical systems are defined, and now curiosity is lessened, rest traveling is really more challenging. i could endlessly study every day of week to project when curiosity existed, now seen the topois some use cases of logic formalizations,  curiosity factor is like 90% reduced. which then creates add/adhd side effects. since been studying consecutively every day last many weeks with no long time rest (by curiosity's pushing me to study) any day(except times i help house tasks), i think i need some rest today. although its creating discontent to rest. since time is most critical resource and needs be spent mostly to project study. 

but i mean recently i finished tom leinster's book, then learnt some topois topics some, and i think i need to rest.  i think this topoi book chapters are like not just one semester knowledge. if tom leinster's book were one semester then this topoi added it really makes too much studying in short period of time (of maybe 1.5 semesters (of a bsc or msc course) of knowledge in 30 days or so and i need rest. )


but maybe lets arrange it like this-> lets rest for a 1.5 hours then continue studying. yep. 1.5 hour rest wouldnt create much mental discontent. 


today i read some chapters of logic systems definitions. ultimate initial goal of why i studied to topois. now after seen some of logic system use cases, I just lost 90% of curiosity factor in studying :S

and without curiosity there is much more add/adhd. 

ok then lets give some 1.5 hour break time or so. then resume studying.

but there is really imho maybe 2 semester bsc knowledge in this book :S i need to skip some of paragraphs chapters since its impossible to study all since imho least 2 semesters of bsc or msc knowledge be present in this initial topos book. 


imho next topic of curiosity is learning more about intuitionistics maths and coq like libraries.  (less add/adhd creating field) 

but again i need to learn topois also very well. so i need to spend alot time more to topois study with also revisiting previous chapters when required also. 


yep lets now give some break and rest. 





Yorumlar

Bu blogdaki popüler yayınlar