brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2025-10-10 06:51:13 +00:00
Code Issues Projects Releases Packages Activity

Added math labels to posts that use mathjax

Browse source
This commit is contained in:
Brandon Rozek 2020-12-22 10:20:51 -05:00
parent 8d4b1536a0
commit f78b4525ff
7 changed files with 9 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
content/blog/proofdef.md
View file

@ -3,6 +3,7 @@ title: "Theorem Proving Definitions"
date: 2019-12-29T11:21:07-05:00
draft: false
images: []
math: true
---
When I look into a new field, sometimes I get confused by the whole new set of vocab terms I need to encounter. This post will serve to keep me straight with the terms involved in theorem proving.
@ -14,4 +15,4 @@ When I look into a new field, sometimes I get confused by the whole new set of v
| Decidable | An effective method exists for deriving the correct answer in a finite time. |
| Sound | Every formula that can be proved in the system is logically valid with respect to the semantics of the system. (i.e The system does not produce a wrong result) |
Hopefully, I'll come back and add more terms as I get confused.
Hopefully, I'll come back and add more terms as I get confused.