---------------------------------------------------------------------------------------------------------------------\


i started studying to project  but not with very much efficiency either. 

yep  this is the current reading to learn more about some formalized epistemology methods in 1960s alike -> 

from Ditmarsch/Halpern/Hoek/Kooi: An Introduction to Logics of Knowledge and Belief

since i gave like 25 days break to studying to ml algos project, it kind of is not easy to resume fast to previous work efficiency to these abstract topics of various formal logic constructs/methods.  i thinki studied yet only few paragraphs yet. 


hmm i also have some time frame to finish project. since i dont have unlimited time. since due to getting broke ->

I am still had still payed rents of flat in germany since I had rental contract last months even if i dont stay there. then that finished my existing money of 4000-5000 euros or so alike nearly. then i counted on the tax return (2500 euros alike) but seems as tax return might take even more than 10 weeks sometimes. so i would borrow money from my parentin november (40 days later). 


to alleviate it -> 

- either by chnce tax return returns not late in following 40 days :) (but it can take even 4 months as I read. so its just chance whether if tax return would return in time :) ) 

- or else I need to borrow money from my parents (Whihc they always supported me when i needed so i dont think its problem) 

- and then if my idea is selling my very high quality coding laptop in case if i fail in finishing project in these 30 days. 

so now i have like 40 days project time frame due to this condition. yep imho 30 days is enough to finish alot project since i have alot time all day time to study this week and next week. 

but there is now this also time constraints due to these conditions which is not a bad thing imho since imho i think its not an issue since i think in 30 days i would finish project. in worst case If i dont, i woudl sell my laptop for my expenses (no worries later i can buy laptop again as i already have other laptop to code but that laptop is high end laptop and mjuch better e.g. alike: Razer Blade 18 (2023) - 18 Inch Gaming Laptop - NVIDIA Geforce RTX 4070 - Intel Core i9-13950HX - 18 Inch QHD+ 240Hz Display (32GB DDR5 RAM, 1TB SSD


the issue last days is work efficiency, i couldnt efficiently resume reading epistemology systems crafted and resume category theory readings. gosh it is always hard to resume studying these paper readings/book studyings after giving some break sometime. mind get used to this time laziness mode if when not reading papers/books alike and really some days passes to just only get used to studying again. 

i wish i could resume efficient study schedule on today. of first to finish this book of epistemological systems formalizations of stored knowledge which i found whilst investigating kripke graphs. 

although this logic systems in this book is not based on intuitionistic maths but that does not matter is more about other ontology levels of abstraction but not the basic logic inference abstraction via topos. i mean one level more abstraction level this epistemologic methods and is unlike the fomal logic systems operators side via topos. so does not matter if its not intuitionistic (its default rigid logic not modular like intuitionistics of modular logic systems but that does not matter since that modular part is coming to come from other ontology level (topos side defined abstractions side) ) 


Yorumlar

Bu blogdaki popüler yayınlar