Exploring Math Beyond Formal Logic

  • Thread starter Anachronistic
  • Start date
  • Tags
    Logic
In summary, the conversation discusses the use of formal logical structures in mathematics and the limitations they present. The idea of using non-traditional dimensions to solve problems and the validation of the converse statement are also mentioned. However, the conversation becomes off-topic and the thread is eventually locked.
  • #1
Anachronistic
8
1
Using the formal logical structure of the original theorem, the converse, the curious inverse, and the all important contrapositive, mathematics is at a standstill. I am trying to get to this very particular coordinate without using formal logic.
 
Mathematics news on Phys.org
  • #2
Anachronistic said:
mathematics is at a standstill.

What? :confused:
 
  • #3
Anachronistic, I have no idea what you are talking about. Could you clarify??
 
  • #4
It has to do with using non traditional dimensions to get to a point
 
  • #5
You might want to read our rules before you get to your point.
 
  • #6
Informal reasoning is great, but in order to finish the process, in math, you do have to prove it using logic. Or at least convince yourself that all the details could be done if you wanted, in some cases.
 
  • #7
The problem with the structure of original theorem logic is that it negates the curious theorem in order to get to inverse points in your coordinate logic. This is only valid in informal mathematics logic.

I like words too.
 
  • #8
I don't understand the OP's question.
 
  • #9
Pengwuino said:
The problem with the structure of original theorem logic is that it negates the curious theorem in order to get to inverse points in your coordinate logic. This is only valid in informal mathematics logic.

I like words too.

would then, conversely, the negation of the coordinates validate the curious theorem, providing rigor to the original theorem structure? it seems to me you could sketch an informal argument, but advanced rendering might exceed current pixel capacity.
 
  • #10
Deveno said:
would then, conversely, the negation of the coordinates validate the curious theorem, providing rigor to the original theorem structure? it seems to me you could sketch an informal argument, but advanced rendering might exceed current pixel capacity.

Not at all! The curious theorem is a formalization of contrapositive statements pertaining to the formal structure of possibilities! You can't negate coordinates without forming some kind of invalidating logic of the space-time tensor itself!
 
  • #11
Here is a simple example.

If x = 3, then x + 2 = 5 is a must be true statement.

The converse is a could be statement due to several different ways to get to the number 5 using 2 and 5 in the same dimensions.



Would anybody like to elaborate the different pathways to make the converse statement true?
 
  • #12
Anachronistic said:
Here is a simple example.

If x = 3, then x + 2 = 5 is a must be true statement.

The converse is a could be statement due to several different ways to get to the number 5 using 2 and 5 in the same dimensions.



Would anybody like to elaborate the different pathways to make the converse statement true?

If x+2=5, then x+2+(-2)=5+(-2). So x=3.
 
  • #13
I like using imaginary dimensions of the non real numbers to get to my solutions
 
  • #14
More fun to use infinite-dimensional numbers on a zero-dimensional manifold. Trust me, addition is a BLAST.
 
  • #15
OK, this is silly. Anachronistic, I asked you to explain yourself more clearly, you did not do this. Therefore I'm locking the thread.

My apologies to the people who were having fun with this.
 

FAQ: Exploring Math Beyond Formal Logic

What is "Exploring Math Beyond Formal Logic"?

"Exploring Math Beyond Formal Logic" is a branch of mathematics that goes beyond the traditional methods of reasoning and explores alternative ways of approaching mathematical concepts and problems.

What are some examples of "Exploring Math Beyond Formal Logic"?

Some examples of "Exploring Math Beyond Formal Logic" include non-Euclidean geometry, fuzzy logic, and set theory.

How is "Exploring Math Beyond Formal Logic" different from traditional mathematics?

"Exploring Math Beyond Formal Logic" differs from traditional mathematics in that it allows for unconventional methods of reasoning and problem-solving, while traditional mathematics relies heavily on formal logic and proof-based approaches.

What are the potential applications of "Exploring Math Beyond Formal Logic"?

"Exploring Math Beyond Formal Logic" has potential applications in fields such as computer science, artificial intelligence, and philosophy, as it offers alternative ways of thinking and problem-solving that can be applied in various disciplines.

Is "Exploring Math Beyond Formal Logic" relevant to everyday life?

Yes, "Exploring Math Beyond Formal Logic" has relevance to everyday life as it allows for a deeper understanding of mathematical concepts and can provide alternative solutions to real-world problems.

Back
Top