Can Modal Logic Unify with Topology, Complex Analysis, Probability and AI?

  • Thread starter Thread starter cronxeh
  • Start date Start date
  • Tags Tags
    Logic Topology
AI Thread Summary
The discussion explores the potential for unifying modal logic with fields like topology, complex analysis, and probability to advance artificial intelligence. It questions whether modal logic can be translated into computer language to create genuine AI and its applicability to Shor's algorithm and quantum encryption. Participants seek clarity on the definition of modal logic, emphasizing its focus on necessity and possibility. The conversation highlights a gap in current research on integrating these diverse fields. Overall, the thread raises intriguing questions about the intersection of logic, mathematics, and technology in AI development.
cronxeh
Gold Member
Messages
1,004
Reaction score
11
How do we unify modal logic with topology or perhaps complex analysis/probability&random variables?

Provided the principles of modal logic, is it possible to translate philosophy into computer language and create the real AI?

Is it possible to apply modal logic to Shor's computational algorithm? How about quantum encryption? Is anyone doing any research on this field?
 
Mathematics news on Phys.org
Huh? What do you mean by modal logic? The logic that deals with necessity and possibility (modalities)? What does that have to do with complex analysis or topology?
 
Thread 'Video on imaginary numbers and some queries'

Thread 'Video on imaginary numbers and some queries'

Hi, I was watching the following video. I found some points confusing. Could you please help me to understand the gaps? Thanks, in advance! Question 1: Around 4:22, the video says the following. So for those mathematicians, negative numbers didn't exist. You could subtract, that is find the difference between two positive quantities, but you couldn't have a negative answer or negative coefficients. Mathematicians were so averse to negative numbers that there was no single quadratic...
View full post »

Thread 'What Exactly is Dirac’s Delta Function? - Insight'

Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
View full post »

Thread 'Non-orthogonal bases'

Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
View full post »

Similar threads

A What are your insights on The Hardest Logic Puzzle Ever?
Replies
2
Views
2K
Should I take general topology or complex analysis?
Replies
2
Views
4K
B Traditional logic and its usefulness in the past
Replies
21
Views
3K
Admissions Direct Entry to PhD Program -- Advice Please
Replies
36
Views
4K
Physics Can someone help me tell whether Physics is right for me?
Replies
27
Views
3K
Current and Future AI Threats to Humanity and the Human Response
Replies
10
Views
4K
I Computer languages as examples in formal logic
Replies
40
Views
8K
Is mathematics invented or discovered?
Replies
2
Views
128
Admissions Admission into Princeton Grad School
Replies
9
Views
2K
Reasonable approach to learning mathematics? (Starting with logic.)
Replies
3
Views
6K

Hot Threads

Recent Insights

Back
Top