[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 8 KB, 164x219, 1693781002034205.jpg [View same] [iqdb] [saucenao] [google]
15767367 No.15767367 [Reply] [Original]

Looking for good resources to learn the basics of Linear temporal logic.

>> No.15768203

>linear logic
based
>temporal logic
ngmi

>> No.15768209
File: 3.79 MB, 3294x3204, TIMESAND___TAS_(1of2).jpg [View same] [iqdb] [saucenao] [google]
15768209

>> No.15768213
File: 3.81 MB, 3282x3234, TIMESAND___TAS_(2of2).jpg [View same] [iqdb] [saucenao] [google]
15768213

>> No.15768225
File: 3.01 MB, 1x1, TIMESAND___Sixty-Six_Theses__v4-20230726.pdf_compressed.pdf [View same] [iqdb] [saucenao] [google]
15768225

Sixty-Six Theses: Next Steps and the Way Forward in the Modified Cosmological Model
>https://vixra.org/abs/2206.0152
>http://gg762.net/d0cs/papers/Sixty-Six_Theses__v4-20230726.pdf
The purpose is to review and lay out a plan for future inquiry pertaining to the modified cosmological model (MCM) and its overarching research program. The material is modularized as a catalog of open questions that seem likely to support productive research work. The main focus is quantum theory but the material spans a breadth of physics and mathematics. Cosmology is heavily weighted and some Millennium Prize problems are included. A comprehensive introduction contains a survey of falsifiable MCM predictions and associated experimental results. Listed problems include original ideas deserving further study as well as investigations of others' work when it may be germane. A longstanding and important conceptual hurdle in the approach to MCM quantum gravity is resolved. A new elliptic curve application is presented. With several exceptions, the presentation is high-level and qualitative. Formal analyses are mostly relegated to the future work which is the topic of this book. Sufficient technical context is given that third parties might independently undertake the suggested work units.

>> No.15768226

>>15768225

https://ibb [doot] co/HHq99gF
https://ibb [doot] co/kx6VQ9B
https://ibb [doot] co/hHzrrjJ
https://ibb [doot] co/dm9btHg
https://ibb [doot] co/F5jWNS6
https://ibb [doot] co/cbpHCmj
https://ibb [doot] co/YcyQhJj
https://ibb [doot] co/4RtztyG
https://ibb [doot] co/CwT9GGN
https://ibb [doot] co/fD4KWvp
https://ibb [doot] co/Cv2QQ2T
https://ibb [doot] co/xMdB5th
https://ibb [doot] co/hfDwn65
https://ibb [doot] co/ZHT7ZSx
https://ibb [doot] co/JRNggdH
https://ibb [doot] co/WsD0V9X
https://ibb [doot] co/PYFYk0x
https://ibb [doot] co/t4RypKS
https://ibb [doot] co/ZXdJKg3
https://ibb [doot] co/5MPFh7L
https://ibb [doot] co/p4ZZcT4
https://ibb [doot] co/wrwHrzT
https://ibb [doot] co/ZhqCwVT
https://ibb [doot] co/KFrKdBR
https://ibb [doot] co/NS1sGJ0
https://ibb [doot] co/QJkPCzs
https://ibb [doot] co/7jHt5gC

>> No.15768234
File: 1.23 MB, 1x1, TIMESAND___Fractional_Distance__20230808.pdf [View same] [iqdb] [saucenao] [google]
15768234

>> No.15768240

>>15767367
Ever seen a clock?

That's pretty linear

>> No.15768246
File: 35 KB, 600x600, 1695576737890.jpg [View same] [iqdb] [saucenao] [google]
15768246

>>15767367
Temporal logic is literally just modal logic with the two modal quantifiers interpreted as "will happen at least once" and "will happen at every point in time". That's all you need to know.

>> No.15768287

Twelve?

>> No.15769105

>>15768234
That was extremely intredasting, but can’t you just say
>closed interval [-inf, inf] is le gibberish
very easily?

>> No.15769307

>>15768203
redpill me on linear logic

>> No.15769464

>>15769307
You cannot eat your cake and have it too. Something globalists ought to think about.

>> No.15769533
File: 1.33 MB, 1884x2164, TIMESAND___Golf+Rumors.png [View same] [iqdb] [saucenao] [google]
15769533