Back to Discover
🔢

Intuitionistic logic

math Maturity 13-18

We use math to find truth.

Rieger-Nishimura.svg
Rieger-Nishimura.svg
Sometimes we need to show how something works. We do not just guess. We find a real way to show it. This helps us use computers to check our work. Can you find a way to show a new idea?

47 words
🖼️ Images & Media (1)
File:Rieger-Nishimura.svg
Rieger-Nishimura.svg
Up Next
🔢
Material conditional
Math
→
More to explore

✨ What else?

Related topics you might enjoy

Material conditional 0% Philosophical logic 0% Type theory 0% Mathematical logic 0% Proof theory 0% Propositional logic 0%

🔬 Go deeper

More advanced topics to explore

Mathematical logic Proof theory Foundations of mathematics Logical connective

🪜 Step back

Simpler topics to build understanding

Material conditional Philosophical logic Type theory Propositional logic
📚 Content adapted from Wikipedia | Readability: FK 14.1 | Vital Level 5