B This Nearly Brought Me To Tears

  • B
  • Thread starter Thread starter bhobba
  • Start date Start date
AI Thread Summary
The discussion highlights the impact of unsung heroes, specifically mentioning Dr. Nonhlanhla Yende-Zuma as an inspiring figure. Participants express feelings of humility and admiration for such individuals who overcome challenges. The mention of Emmy Noether serves to emphasize resilience and the refusal to be defined by circumstances. There is a shared sentiment of wishing for more heroes like her in society. Overall, the conversation reflects a deep appreciation for those who make significant contributions despite adversity.
Physics news on Phys.org
When I hear stories like that if feel like I'm just taking up space.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Replies
1
Views
3K
Replies
33
Views
6K
Replies
1
Views
3K
Replies
18
Views
6K
Replies
2
Views
3K
Replies
2
Views
4K
Replies
1
Views
2K
Back
Top