terrorist :: FelineToday I learned
Löwenheim–Skolem theorem
Any 1st order theory with an infinite model has arbitrary large models
https://en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_theorem
John LazaridisΔοκιμάσατε ποτέ να εφαρμόσετε De Morgan ή Markov chain solutions στα target groups σας; Καλά τα KPI και τα CTA αλλά πίσω απ' όλα κρύβονται τα μαθηματικά και τα νούμερα δε λένε ποτέ ψέματα ή μπαρούφες.📈🧠 #DigitalMarketing #MathLogic #AI #DataDriven
John LazaridisΔοκιμάσατε ποτέ να εφαρμόσετε De Morgan ή Markov chain solutions στα target groups σας; Καλά τα KPI και τα CTA αλλά πίσω απ' όλα κρύβονται τα μαθηματικά και τα νούμερα δε λένε ποτέ ψέματα ή μπαρούφες.📈🧠 #DigitalMarketing #MathLogic #AI #DataDriven
Hacker NewsPeano arithmetic is enough, because Peano arithmetic encodes computation
https://math.stackexchange.com/a/5075056/6708
#HackerNews #PeanoArithmetic #Computation #MathLogic #MathematicalFoundations #HackerNews
